ASPIK - Multiple-style specification language. "Algebraic Specifications
in an Integrated Software Development and Verification System", A. Voss,
Diss, U Kaiserslautern, 1985.
ASPIK Programming Language
http://www.programming-languages.co.uk/aspik.html
Large list of computer programming languages arranged alphabetically, with explanations.