1. R.D. Arthan. The ProofPower web pages.
http://www.lemma-one.com/ProofPower/index/index.html
.
2. R.D. Arthan. Modularity for Z.
http://www.lemma-one.com/zstan docs/wrk059.ps
, September 1995.
3. Lect Notes Comput Sci;C. 1998_P. Ciancarini,1998
4. [Germán et al. 1994]_D.M. Germán, D. Cowan, and A. Ryman. Comments on the Z Interchange Format of the Z Base Standard Version 1.0.
ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-160.ps.gz
, 1994.
5. W. Grieskamp. The Zeta web pages.
http://uebb.cs.tu-berlin.de/zeta/
. [ISO-ASCII] ISO/IEC 646:1991. Information Technology—ISO 7-bit Coded Character Set for Information Interchange 3rd edition.