Daniel E. Cooke Ann Q. Gates On the Development of a Method to Synthesize Programs from Requirements Specifications. 21-38 1991 1 International Journal of Software Engineering and Knowledge Engineering 1 db/journals/ijseke/ijseke1.html#CookeG91 http://dx.doi.org/10.1142/S0218194091000056