1. The B-Book: Assigning Programs to Meanings;Abrial,1996
2. D-oids: A model for dynamic data types;Astesiano;Math. Struct. in Comp. Sci,1995
3. Specifying safety–critical Embedded Systems with Statecharts and Z: A Case Study;Büssow;Springer LNCS 1382,1998
4. Brinksma, E (ed.). Information processing systems - Open Systems Interconnection – LOTOS – A formal description technique based on the temporal ordering of observational behaviour. ISO 8807, 1989. International Standard.
5. P. Burmeister. A Model Theoretic Oriented Approach to Partial Algebras, volume 32 of Mathematical Research — Mathematische Forschung. Akademie-Verlag, Berlin, 1986.