1. The formal definition of Modula-2 and its associated interpreter;Andrews,1988
2. Object-orientation in Modula-2, TurboPascal, Oberon-2 and C++;Brass,1991
3. BS 6154: 1981, Method of defining syntactic metalanguage, British Standards Institution, Milton Keynes.