BMASF

BMASF

Basic Module Algebra Specification Language? "Design of aSpecification Language by Abstract Syntax Engineering",J.C.M. Baeten et al, in LNCS 490, pp.363-394.