1. Explicit substitutions;Abadi;J. Funct. Program.,1991
2. Computational interpretations of linear logic;Abramsky;Theoret. Comput. Sci.,1993
3. The Alfa WWW page. http://www.cs.chalmers.se/~hallgren/Alfa/.
4. Term Rewriting and All That;Baader,1998
5. H. Barendregt, The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, Revised Edition, vol. 103, North-Holland, Amsterdam, 1984.