1. The B-Book
2. Specification of Software Systems
3. Amalio, N. (2003). Modular UML semantics: Interpretations in Z based on Templates and Generics. In Proceedings of FM 2003. Sept. 8-14, 2003, Pisa, Italy.
4. Bertelsen, P. (2003). Semantics of Java Byte Code. Retrieved November 1, 2003, from ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Bertelsen/jvm-semantics.ps.gz
5. Seven more Myths of Formal Methods.;J.Bowen;IEEE Software,1995