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

by Judy Crow, Sam Owre, John