Andrew Gacek: Relating nominal and higher-order abstract syntax specifications. PPDP 2010: 177-186