1. Efficient execution in an automated reasoning environment;Greve;J. Funct. Program.,2008
2. A formal model of a large memory that supports efficient execution.;Jr.,2012
3. Efficient Rewriting of Data Structures in ACL2;Kaufmann
4. Computer Systems: A Programmers Perspective;R. E. Bryant and D. R. OHallaron
5. Single-threaded Objects in ACL2;R. S. Boyer and J S. Moore,2002