available from http://www.csl.sri.com/users/rushby/abstracts/ attachments (2001)

by J Crow, S Owre, J Rushby, N Shankar, D Stringer-Calvert
Venue:Evaluating, testing, and animating PVS specifications,” Computer Science Laboratory, SRI International, Menlo