1. J. Bowen and M. Gordon. Z and HOL, 1994. submitted to the '94 Z User Meeting.
2. S. Brien, J. Nicholls, et al. Z Base Standard version 1.0. Technical Report ZIP/PRG/92/121, Oxford University Computing Laboratory, 1992.
3. Dowek, Felty, et al. The Coq proof assistant user's guide, version 5.8. Technical report, INRIA-Rocquencourt, February 1993.
4. W. Harwood. Proof rules for Balzac. Technical Report WTH/P7/001, Imperial Software Technology, Cambridge, 1991.
5. I. Hayes. Specification Case Studies. Prentice-Hall International, 1987.