A note on information flow into arrays. - Morrie Gasser; Jonathan K. Millen; William F. Wilson (ACM SIGSOFT Softw. Eng. Notes, 1980)

Programmable heuristics for theorem provers. - William F. Wilson; Sam Owre (ACM SIGSOFT Softw. Eng. Notes, 1985)

Muse - A Computer Assisted Verification System. - J. Daniel Halpern; Sam Owre; Norman Proctor; William F. Wilson (IEEE Trans. Software Eng., 1987)