1. Andrews, P.B.: Introduction to Mathematical Logic and Type Theory: To Truth through Proof, 2nd edn. (2002)
2. Arthan, R.: The ProofPower homepage (2009),
http://www.lemma-one.com/ProofPower/index/
3. Brucker, A.D., Rittinger, F., Wolff, B.: Hol-z 2.0: A proof environment for z-specifications. Journal of Universal Computer Science 9(2), 152–172 (2003)
4. Lecture Notes in Computer Science;A.D. Brucker,2004
5. Lecture Notes in Computer Science;A.D. Brucker,2007