Single-threaded objects in ACL2 (0)

by R S Boyer, J S Moore
Venue:In Practical Aspects of Declarative Languages, LNCS 2257