Source : Free On-Line Dictionary of Computing

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].