m-EVES: A Tool for Verifying Software. - Dan Craigen; Sentot Kromodimoeljo; Irwin Meisels; Andy Neilson; Bill Pase; Mark Saaltink (ICSE, 1988)