EPROS

A specification/prototyping language, implemented in Franz Lisp.

Software Prototyping, Formal Methods and VDM, Sharam Hekmatpour et al, Addison-Wesley, 1988.