P. Allen Currit Michael G. Dyer Harlan D. Mills Certifying the Reliability of Software. 3-11 1986 12 IEEE Trans. Software Eng. 1 db/journals/tse/tse12.html#CurritDM86