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.

In addition suitable contents:
[ ae ] [ ag ] [ al ] [ an ] [ as ] [ at ] [ B ] [ b ] [ br ] [ bs ] [ by ] [ C ] [ ca ] [ cat ] [ ci ] [ D ] [ du ] [ E ] [ ec ] [ ee ] [ er ] [ es ] [ et ] [ fi ] [ ge ] [ gi ] [ gn ] [ gu ] [ in ] [ io ] [ J ] [ M ] [ N ] [ NC ] [ NCS ] [ ne ] [ ng ] [ pe ] [ S ] [ si ] [ sig ] [ Spec ] [ st ] [ tr ] [ ua ]