1. Spivey, J.M.: The Z-Notation - A Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)
2. Mannering, D., Hall, J.G., Rapanotti, L.: Towards normal design for safety-critical systems. In: Proceedings of FASE 2007, pp. 398–411 (2007)
3. Jackson, D.: Software Abstractions Logic, Language & Analysis. MIT Press, Cambridge (2006)
4. Kleene, S.: Introduction to Metamathematics. Van Nostrand, Princeton (1964)
5. Hall, J.G., Rapanotti, L., Jackson, M.: Problem oriented software engineering: Formality and the real world. In: Proceedings of IEEE Software Engineering Formal Methods (SEFM 2007), London, UK, IEEE Computer Society Press, Los Alamitos (to appear, 2007)