Natarajan Shankar, and Mandayam Srivas. A tutorial introduction to PVS (1995)

by Judy Crow, Sam Owre, John Rushby
Venue:In Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques