1. Bennett, J. H., Easton, W. B., Guard, J. R., and Mott, Jr., T. H. Introduction to semi-automated mathematics. Final Rep. No. AFCRL 63–180, Air Force Cambridge Res. Lab., Cambridge, Mass., April 15, 1963 (Contract No. AF 19(628)-468).
2. Guard, J. R. Automated logic for semi-automated mathematics. Sci. Rep. No. 1, AFCRL 64–411, March 30, 1964 (Contract No. AF 19(628)-3250).
3. Bennett, J. H., Easton, W. B., Guard, J. R., and Mott, Jr., T. H. Toward semi-automated mathematics: the language and logic of SAM III. Sci. Rep. No. 2, AFCRL 64–562, May 1, 1964 (Contract No. AF 19(628)-3250).
4. Bennett, J. H., Easton, W. B., Guard, J. R., Loveman, D. B., and Mott, Jr., T. H. Semi-automated mathematics: SAM IV. Sci. Rep. No. 3, AFCRL 64–827, Oct. 15, 1964 (Contract No. AF 19 (628)-3250).
5. Bennett, J. H., Easton, W. B., Guard, J. R., and Settle, L. G. CRT-aided semi-automated mathematics. Final Rep. No. AFCRL 67–017, Jan. 1967 (Contract No. AF 19(628)-3250).