1. J.A. Bergstra, J. Heering, and P. Klint. Algebraic Specification. ACM Press, New York, New York, 1989.
2. R.S. Boyer, J S. Moore. A Computational Logic. Academic Press, 1979.
3. Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase and Mark Saaltink. EVES: An Overview. In Proceedings of VDM '91. Noordwijkerhout, The Netherlands, October 1991.
4. Dan Craigen and Mark Saaltink. Simple Type Theory in EVES. In Proceedings of the Fourth Banff Higher Order Workshop. Graham Birtwistle (editor), Springer-Verlag, New York, September 1990.
5. Dan Craigen. Reference Manual for the Language Verdi. TR-91-5429-09a, ORA Canada, Ottawa, September 1991.