epros

from The Free On-line Dictionary of Computing (8 July 2008)

EPROS

   A specification/prototyping language.  Implemented in {Franz
   Lisp}.

   (ftp://utsun.s.u-tokyo.jp/lang/epros).

   ["Software Prototyping, Formal Methods and VDM", Sharam
   Hekmatpour et al, A-W 1988].