PVS: A prototype verification system. (1992)

by S Owre, J M Rushby, N Shankar
Venue:In Conf. on Automated Deduction (CADE). LNAI,