1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Basir, N., Denney, E., Fischer, B.: Deriving safety cases from automatically constructed proofs. In: Proceedings of the 4th International Conference on System Safety, IET (2009)
3. Lecture Notes in Computer Science;L-H Eriksson,2004
4. Lecture Notes in Computer Science;P Giorgini,2002
5. Greenwell, W.S.: A taxonomy of fallacies in system safety arguments. Technical report. NASA (2006). (available from the NASA Technical reports server):
http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20060027794.pdf