A tutorial introduction to PVS, sri international (1995)

by J Crow, S Owre, J Rushby, N Shankar, M Srivas