Structural synthesis of programs from refined user requirements (Programming boiler control in NUT)
Lecture Notes in Computer Science (1996) - Comments
doi: 10.1007/bfb0027229  issn: 0302-9743  issn: 1611-3349 

Mattin Addibpour, Enn Tyugu