1. Ranjit Jhala and Kenneth L. McMillan, Proceedings, Gerard Berry, Hubert Comon, and Alain Finkel (Eds.). Springer, Berlin, Heidelberg 18(22), 396–410 (2001).
2. K.L. McMillan, In Correct Hardware Design and Verification Methods, Laurence Peirre and Thomas Kropf (EDs) (1999).
3. Microprocessor design verification
4. J. Choi, M. Vijayaraghavan, B. Sherman, A. Chilpala, and Arvind, Kami:.ACM Program, Lang. 1,ICFP, Article 24 (2017).
5. D.L. Dill, A.J. Drexler, A.J. Hu, and C.H. Yang, ICCD ’92, Proceedings, IEEE International Conference on 522–525 (1992).