A verified encrypted packet interface. - Michael K. Smith; Ann E. Siebert; Benedetto L. DiVito; Donald I. Good (ACM SIGSOFT Softw. Eng. Notes, 1981)

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

Formal Methods Fact vs. Fiction. - C. Michael Holloway; Ben L. Di Vito; David Guaspari; Michael K. Smith (TRI-Ada, 1994)