1. N.C.Rasmussen Reactor Study - An Assessment of Accident Risks in US Commercial Nuclear Power Plants, USNRC, WASH 1400 (NUREG-75/014) October 1975
2. Gesellschaft für Reaktorsicherheit Deutsche Risikostudie Kernkraftwerke, Verlag TÜV-Rheinland, 1989, ISBN 3–921059-67–4
3. W.Ehrenberger and B.Krzykacz Probabilistic Testing in: Proceedings of the European Workshop on Industrial Computer Systems, Technical University of Graz, edited by V.H.Haase and W.J.Jaburek, April 1983
4. W.Ehrenberger Probabilistic Techniques for Software Verification in Safety Applications of Computeriszed Process Control in Nuclear Power Plants IAEA-TECDOC-581, February 1991
5. R.L.Baber The Spine of Software: Designing Provably Correct Software - Theory and Practice John Wiley & Sons Ldt, 1987, ISBN 0–471-91474–6