- The Z/EVES System by Mark Saaltink. In ZUM'97: The Z Formal Specification Notation — 10th International Conference of Z Users Reading, UK, April 3–4, 1997. Springer-Verlag↑, LNCS↑ 1212, 1997. DOI: 10.1007/BFb0027279.
- POSIX file store in Z/Eves: An experiment in the verified software repository by Leo Freitas, Jim Woodcock↑ and Zheng Fu. Science of Computer Programming↑, 74(4):238–257, February 2009. DOI: 10.1016/j.scico.2008.08.001.