Reliable Software: A Selective Annotated Bibliography. - Thomas Anderson 001; Santosh K. Shrivastava (Softw. Pract. Exp., 1978)

A Model of Recoverability in Multilevel Systems. - Thomas Anderson 001; Peter A. Lee; Santosh K. Shrivastava (IEEE Trans. Software Eng., 1978)