Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen and Irwin Meisels "An EVES Data Abstraction Example" In Proceedings of "Formal Methods Europe'93" (FME'93, Odense, Denmark), Springer-Verlag, April 1993.

Languages mentioned

• Verdi {1990}