"A Debugger for a Meta-IV-like Meta-Language."

D. Kinnaes, Karel De Vlaminck (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics