The EVES System.

Fri, 01 Jan 1993 00:00:00 +0100

Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels:
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373