Certifying the Reliability of Software. - P. Allen Currit; Michael G. Dyer; Harlan D. Mills (IEEE Trans. Software Eng., 1986)