1. A. Bailey. Representing algebra in Lego, M.Sc. thesis, University of Edinburgh, October 1993.
2. C. Ballarins, K. Homann and J. Calmet. Theorems and algorithms: an interface between Maple and Isabelle, in the proceedings of ISSAC'95.
3. H.P. Barendregt. Typed λ-calculi, Handbook of logic in computer science, Abramsky and al eds, OUP 1992.
4. G. Barthe. Towards a mathematical vernacular, manuscript, presented at the HISC workshop, Amsterdam, March 1994.
5. G. Barthe. Formalising mathematics in type theory: fundamentals and case studies, manuscript, June 1994, submitted for publication.