1. ‘An investigation into the IOTA project support environment’, Technical Report, University of Manchester, Manchester, England, 1986
2. ‘The PRL mathematics environment: a knowledge based medium (Extended abstract)’, Technical Report 86-768, Cornell University Ithaca, NY, USA, 1986
3. Beeson, M.J.: ‘Foundations of constructive mathematics’, Springer-Verlag, 1985)
4. Beeson, M.J., and Marcus, B: ‘Proving programs and programming proofs’, et al. Logic, methodology and philosophy of Science VII(Elsevier Science Publishers), 1986), p. 51-82