Source : Free On-Line Dictionary of Computing

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.