PVS: A prototype veri system (1992)

by S Owre, J Rushby, N Shankar
Venue:11th International Conference on Automated Deduction (CADE), volume 607 of LNAI