"Formal Metatheory using Implicit Syntax, and an Application to Data ..."

Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics