STP: A Mechanized Logic for Specification and Verification.

Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith

Browse the full CADE paper archive.