The PVS Proof Checker: A reference manual (1993)

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