1. Bakel, Steffen van. Derivations In Type Assignment Systems.Thesis, University of Nijmegen, The Netherlands, (1988).
2. Barendregt, H. The Lambda Calculus. Its Syntax and Semantics.ISBN 0-444-87508-5, North-Holland Publishing Company, (1981).
3. Barendregt, H. et al. A Filter Lambda Model And The Completeness of Type Assignment.Journal of Symbolic Logic 48(4, December (1985).
4. Coppo, M. An Extended Polymorphic Type System For Applicative Languages.Lecture Notes in Computer Science 88, Rydzyna, Poland, September (1980).
5. Courcelle, B. Fundamental Properties Of Infinite Trees.Theoretical Computer Science 25(95–169, (1983).