1. Adams, M.: Proof auditing formalised mathematics. J. Formalized Reasoning 9(1), 3–32 (2016)
2. Lecture Notes in Computer Science;M Adams,2005
3. Arthan, R., Jones, R.: Z in HOL in ProofPower. In: Issue 2005–1 of the British Computer Society Specialist Group Newsletter on Formal Aspects of Computing Science, pp. 39–54 (2005)
4. Davis, J.: A Self-Verifying Theorem Prover. PhD Thesis, University of Texas at Austin (2009)
5. Davis, J., Myreen, M.: The reflective Milawa theorem prover is sound. J. Autom. Reasoning 55(2), 117–183 (2015). Springer