"ML: metalanguage or object language?"

Michael J. C. Gordon (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics