The EVES System

@inproceedings{Kromodimoeljo1993TheES,
  title={The EVES System},
  author={Sentot Kromodimoeljo and Bill Pase and Mark Saaltink and Dan Craigen and Irwin Meisels},
  booktitle={Functional Programming, Concurrency, Simulation and Automated Reasoning},
  year={1993}
}