PROSPER

"PROSPER: A Language for Specification by Prototyping", J. Leszczylowski, Computer Languages 14(3):165-180 (1989).