Marcelo P. Fiore: Second-Order and Dependently-Sorted Abstract Syntax. LICS 2008: 57-68