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

Languages mentioned

• EPROS {1988}