1. Abadi, M. and L. Cardelli: 1996, A Theory of Objects. Springer.
2. Abadi, M. and L. Lamport: 1995, ’Conjoining Specifications’. ACM Toplas 17(3).
3. Aczel, P.: 1999, ’Notes on the Simply Typed Lambda Calculus’. In: U. B. et al. (ed.): Computational Logic. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 29-August 10, 1997, Vol. 165 of NATO ASI Ser., Ser. F, Comput. Syst. Sci. Berlin, pp. 57–97.
4. Allen, S. F.: 1987, ’A Non-Type-Theoretic Semantics for Type-Theoretic Language’. Ph.D. thesis, Cornell University.
5. Backhouse, R. C: 1989, ’Constructive Type Theory-an introduction’. In: M. Broy (ed.): Constructive Methods in Computer Science, NATO ASI Series, Vol. F55: Computer & System Sciences. Springer-Verlag, New York, pp. 6–92.