A Report On The Development Of Gypsy. - Donald I. Good; Richard M. Cohen; Lawrence W. Hunter (ACM Annual Conference (1), 1978)

Principles of Proving Programs Correct in Gypsy. - Donald I. Good; Richard M. Cohen; James G. Keeton-Williams (POPL, 1979)

Gypsy verification environment: status. - Michael K. Smith; Richard M. Cohen (ACM SIGSOFT Softw. Eng. Notes, 1985)

Abstracts in software engineering - reports. - Robert S. Boyer; J Strother Moore; Warren A. Hunt; Richard M. Cohen; Richard C. Holt (ACM SIGSOFT Softw. Eng. Notes, 1986)

Connection policies and controlled interference. - William R. Bevier; Richard M. Cohen; William D. Young (CSFW, 1995)