Dan Craigen Sentot Kromodimoeljo Irwin Meisels A. Neilson Bill Pase Mark Saaltink m-EVES: A Tool for Verifying Software. 324-333 1988 ICSE db/conf/icse/icse88.html#CraigenKMNPS88