Sentot Kromodimoeljo Bill Pase Mark Saaltink Dan Craigen Irwin Meisels The EVES System. 349-373 1993 conf/mcmaster/1993 Functional Programming, Concurrency, Simulation and Automated Reasoning db/conf/mcmaster/mcmaster1993.html#KromodimoeljoPSCM93