1. Barendregt, H.P.: Lambda calculi with Types. In: Abramski, et al. (eds.) Handbook of Logic in Computer Science, pp. 117–309. Oxford Univ. Press, Abramski et al.
2. Bornat, R., Sufrin, B.: Animating Formal Proof at the Surface: The Jape Proof Calculator. The Computer Journal 42(3), 177–192 (1999)
3. Regnier, L.: Une équivalence sur les lambda-termes. TCS 126(2), 281–292 (1994)
4. Fitch, F.B.: Symbolic Logic. The Ronald Press Company, New York (1952)
5. Gentzen, G.: Collected Works. Edited by M.E. Szabo. North-Holland, Amsterdam (1969)