Singlethreaded objects in ACL2 (2002)

by Robert Stephen Boyer, J Strother Moore
Venue:of Lecture Notes in Computer Science