Douglas R. Smith. KIDS: A Semiautomatic Program Development System. IEEE Trans. Software Eng., 16(9):1024-1043, 1990. [doi]
@article{Smith90:2, title = {KIDS: A Semiautomatic Program Development System}, author = {Douglas R. Smith}, year = {1990}, url = {http://www.computer.org/tse/ts1990/e1024abs.htm}, researchr = {https://researchr.org/publication/Smith90%3A2}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {16}, number = {9}, pages = {1024-1043}, }