An EVES data abstraction example (1993)

by Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
Venue:FME ’93: Industrial-Strength Formal Methods, LNCS 670