1. Alshawi, H. ‘Resolving Quasi Logical Forms', in: ‘Computational Linguistics’ 16, p133–144.
2. Barendregt, H.P. (1992) “Lambda calculi with types.” in: Handbook of Logic in Computer Science (Eds. S. Abramsky, D. Gabbay and T. Maibaum), Oxford University Press, Oxford.
3. Barendregt, H.P. and Hemerik K. (1990) ‘Types in lambda calculi and programming languages, in: European Symposium on Programming, ed. N. Jones, Lecture Notes in Computer Science 432, Springer, 1–36.
4. van Benthem, J. (1991): ‘Reflections on Epistemic Logic.’ Logique et Analyse, 133–134.
5. Borghuis, T. (1994): ‘Coming to Terms with Modal Logic’ Ph.D. thesis, Eindhoven University of Technology.