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)