D. Craigen, S. Kromodimoeljo, I. Meisels, B. Pase and M. Saaltink. "EVES System Description" In Proceedings of CADE-11, Saratoga Springs, NY (June 1992), Springer-Verlag, New York, 1992.

Languages mentioned

• Verdi {1990}