Proceedings of International Conference on Reliable Software, 21-23 April 1975, Los Angeles, California, USA (Institute of Electrical and Electronics Engineers, 1975)
"IEEE Cat. No. 75CH0940-7CSR."