Addendum to Animating Set-Theoretic Specifications using Prolog (Collected Papers)

The Alvey Reports on the Surrey Z Animation project (SuZan) and the accomplanying Prolog library of software to "animate" the constructs of Oxford's Z specification language have been out of print for a while now.

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

Ron Knott
29 May 96