ASPIK

language, specification A multiple-style specification

language.

["Algebraic Specifications in an Integrated Software

Development and Verification System", A. Voss, Diss, U

Kaiserslautern, 1985].

(1994-11-30)