PVS: A prototype verification system (1992)

by S Owrie, J M Rushby, N Shankar
Venue:Proceedings of the Eleventh Conference on Automated Deduction, Lecture Notes in Artificial Intelligence