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
Meaning of BMASF in English
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012