1. Anderson, John R. [1988], The Expert Module, in: Poison, M. C, and Richardson, J. J. (eds.), Foundations of Intelligent Tutoring Systems ,pp. 21–54, Erlbaum, Hillsdale, N. J. (1988).
2. Beeson, M. [1985], Foundations of Constructive Mathematics: Metamathematical Studies ,Springer-Verlag, Berlin/ Heidelberg/ New York (1985).
3. Beeson, M. [1986] Proving Programs and Programming Proofs, in: Marcus, Dorn, and Weingartner (eds.), Logic, Methodology, and Philosophy of Science VII ,pp. 51–82, North-Holland, Amsterdam (1986).
4. Beeson, M. [1988] Computerizing Mathematics: Logic and Computation, in: Herken, R. (ed.), The Universal Turing Machine: A Half-Century Survey ,pp. 191–226, Oxford University Press, Oxford/ New York (1988).
5. Beeson, M. [1989a], Learning Mathematics with MATHPERT, to appear.