1. Dawson W.M.G. (1990) A Generic Logic Environment, PhD thesis, Imperial College, University of London
2. Dyckhoff, R. (1987) Implementing a simple proof assistant, in Workshop on Programming for Logic Teaching, Leeds, July 1987, Centre for Theoretical Computer Science, University of Leeds (program available FROM Machine Assisted Logic Teaching Project, Computational Science Division, University of St Andrews)
3. Jones C.B. et al (1985) mural: A Formal Development Support System. Springer-Verlag
4. EPC Ltd (1992) The B Tool User Manual, EPC Ltd, 17 Alva St. EDINBURGH EH2 4PH