A specification/prototyping language. Implemented in Franz Lisp.
FTP
["Software Prototyping, Formal Methods and VDM", Sharam Hekmatpour et al, A-W 1988].