U Dortmund, 1984. ApplicativE languagE basEd on Modula-2, EnhancEd by signaturEs (grammars) tErms (trEEs) and attributE couplings (functions on trEEs). UsEd for spEcification of languagE translators. ["MARVIN - A Tool for ApplicativE and Modular CompilEr SpEcification", H. GanzigEr Et al, Forsch 220, U Dortmund, Jul 1986].