BMASF

Basic Module Algebra Specification Language?

"Design of a Specification Language by Abstract Syntax Engineering", J. C. M. Baeten et al, in Lecture Notes in Computer Science 490, Springer-Verlag, pp.363-394.