1. Aikins, J. S., J.C. Kunz, and E.H. Shortliffe 1983 PUFF: an expert system for interpretation of pulmonary function data. Comp. Bio. M. 16(1983) 199–208.
2. Beeson, M. 1985 Foundations of Constructive Mathematics: Metamathematical Studies. Berlin/Heidelberg/New York: Springer-Verlag (1985).
3. Beeson, M. 1987 Automatic Derivation of the Equation of Motion of a Pendulum. To appear.
4. van Benthem-Jutting, L.S. 1979 Checking Landau’s “Grundlagen” in the AUTomATH System. Math. Cent. T. 83. (1979).
5. Bishop, E. 1967 Foundations of Constructive Analysis. New York: McGraw-Hill (1967).