The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. - Roddy W. Erickson; David R. Musser (CADE, 1980)

An Overview of AFFIRM: A Specification and Verification System. - Susan L. Gerhart; David R. Musser; David H. Thompson; D. A. Baker; R. L. Bates; Roddy W. Erickson; Ralph L. London; D. G. Taylor; David S. Wile (IFIP Congress, 1980)

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. - Carl A. Sunshine; David H. Thompson; Roddy W. Erickson; Susan L. Gerhart; Daniel Schwabe 001 (IEEE Trans. Software Eng., 1982)

Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". - Carl A. Sunshine; David H. Thompson; Roddy W. Erickson; Susan L. Gerhart; Daniel Schwabe 001 (IEEE Trans. Software Eng., 1983)

Practical Tools for Software Test Certification. - David Casey; Roddy W. Erickson (COMPCON, 1984)