Record 1973 IEEE symposium on computer software realiability, New York City, April 30 through May 2, 1973. (Institute of Electrical and Electronics Engineers, 1973)