BMASF - Basic Module Algebra Specification Language? "Design of a
Specification Language by Abstract Syntax Engineering", J.C.M. Baeten et
al, in LNCS 490, pp.363-394.
BMASF Programming Language
http://www.programming-languages.co.uk/bmasf.html
Large list of computer programming languages arranged alphabetically, with explanations.