Isomorphisms of ω-groups. - Charles H. Applebaum (Notre Dame J. Formal Log., 1971)

A stronger definition of a recursively infinite set. - Charles H. Applebaum (Notre Dame J. Formal Log., 1973)

PVS - design for a practical verification system. - Charles H. Applebaum; James G. Williams 002 (ACM Annual Conference, 1984)

The Practical Verification System Project. - James G. Williams 002; Charles H. Applebaum (ACM SIGSOFT Softw. Eng. Notes, 1985)