However, the work has been written up in more general form in the following places:

- R D Knott, P J Krause

"**The Implementation of Z Specifications using Program Transformation Systems: The SuZan Project**"

in*The Unified Computation Laboratory*IMA Conference Series No 35 (Editors: C Rattray, R G Clark), Clarendon Press, Oxford, 1992, pgs 207-220, ISBN 0-19-853684-4.

Proceedings of a conference held at University of Stirling in July 1990. - R D Knott

"**Using Prolog to Animate Mathematics**

in*LogicProgramming: New Frontiers", D R Brough (Ed), Intellect Books(1992)*

ISBN 0-7923-1546-4, pgs 173-188.

Proceedings of the Assoc. for Logic Programming UK-90 Conference, University of Bristol, held in April 1990. *R D Knott*

"**Making Discrete Maths Executable on a Computer**"

in*The Mathematical Revolution Inspired by Computing*, IMA Conference Series No 30, Clarendon Press , Oxford(1991) pgs 127-144, ISBN 0 19 853658 5.

Proceedings of a Conference held in April 1989 at Brighton, Sussex.*R D Knott*

"**Declarative Programming for Mathematical Exploration**"

in '*Artificial Intelligence in Mathematics*'

eds: J Johnson, S McKee, A Vella, Clarendon Press, Oxford,

1994, pgs 233-250, ISBN 0 19 853686 0.*Mathias software and a copy of the current on-line Manual*

Ron Knott

29 May 96