Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).

Mattin Addibpour Enn Tyugu Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). 13-34 1995 conf/dagstuhl/1995fm Formal Methods for Industrial Applications db/conf/dagstuhl/fm1995.html#AddibpourT95