1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Event Driven Sequential Program Construction (2000),
http://www.matisse.qinetiq.com
3. Anderson, T., Lee, P.A.: Fault Tolerance: Principles and Practice. In: Dependable Computing and Fault Tolerant Systems, vol. 3. Springer, Heidelberg (1990)
4. Avizienis, A.: Towards Systematic Design of Fault-Tolerant Systems. Computer 30(4) (1997)
5. Cristian, F.: Exception Handling. In: Anderson, T. (ed.) Dependability of Resilient Computers, BSP Professional Books (1989)