Daniel E. Cooke, Ann Q. Gates. On the Development of a Method to Synthesize Programs from Requirements Specifications. International Journal of Software Engineering and Knowledge Engineering, 1(1):21-38, 1991. [doi]
@article{CookeG91,
title = {On the Development of a Method to Synthesize Programs from Requirements Specifications},
author = {Daniel E. Cooke and Ann Q. Gates},
year = {1991},
doi = {10.1142/S0218194091000056},
url = {http://dx.doi.org/10.1142/S0218194091000056},
tags = {e-science},
researchr = {https://researchr.org/publication/CookeG91},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {1},
number = {1},
pages = {21-38},
}