Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels. The EVES System. In Peter E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Volume 693 of Lecture Notes in Computer Science, pages 349-373, Springer, 1993.
Abstract is missing.