1. Lecture Notes in Computer Science;G. Bauer,2001
2. Breitner, J.: Free groups. In: Klein, G., Nipkow, T., Paulson, L. (eds.) Archive of Formal Proofs (2011),
http://afp.sf.net/entries/Free-Groups.shtml
3. Church, A.: A formulation of the simple theory of types. J. Symb. Logic 5(2), 56–68 (1940)
4. Forster, T.E.: Reasoning about Theoretical Entities. World Scientific (2003)
5. Gordon, M.J.C., Melham, T.F. (eds.): Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press (1993)