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