<language, specification> A multiple-style specification language.
["Algebraic Specifications in an Integrated Software Development and Verification System", A. Voss, Diss, U Kaiserslautern, 1985].
(30 Nov 1994)