The PVS Proof Checker: A Reference Manual (1993)

by N Shankar, S Owre, J M Rushby
Venue:Computer Science Laboratory, SRI International, Menlo Park