A Debugger for a Meta-IV-like Meta-Language. - D. Kinnaes; Karel De Vlaminck (VDM Europe (1), 1991)