1. Lecture Notes in Computer Science;R. Bloo,2002
2. Bognar, M.: Contexts in Lambda Calculus. PhD thesis, Vrije Universiteit Amsterdam (2002)
3. Cheney, J.: Nominal logic and abstract syntax. SIGACT News (logic column 14) 36(4), 47–69 (2005)
4. de Bruijn, N.G.: A survey of the project AUTOMATH. In: Hindley, Seldin (eds.) To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London (1980)
5. Lecture Notes in Computer Science;M. Fernández,2007