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].