An Overview of AFFIRM: A Specification and Verification System. Information Processing 80 (1980)

by S L Gerhart, D R Musser, D H Thompson, D A Baker, R L Bates, R W Erickson, R L London, D G Taylor, D S Wile