ASF - Algebraic Specification Formalism. CWI. Language for equational
specification of abstract data types. "Algebraic Specification", J.A.
Bergstra et al eds, A-W 1989.
ASF Programming Language
http://www.programming-languages.co.uk/asf.html
Large list of computer programming languages arranged alphabetically, with explanations.