Addibpour, Mattin and Tyugu, Enn "Structural Synthesis of Programs from Refined User Requirements" (Programming Boiler Control in NUT) Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (Dagstuhl Seminar, June 1995) Springer LNCS 1996

Languages mentioned

• PRIZ {1983} Logic programming environment