1. Aderhold, M.: Verification of Second-Order Functional Programs. Doctoral dissertation, TU Darmstadt (2009)
2. LNAI;M. Aderhold,2010
3. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers, Dordrecht (2002)
4. Lecture Notes in Computer Science;M. Barnett,2005
5. Boyer, R.S., Goldschlag, D.M., Kaufmann, M., Moore, J.S.: Functional instantiation in first-order logic. In: Lifschitz, V. (ed.) Papers in Honor of John McCarthy, pp. 7–26. Academic Press, London (1991)