H. Maezawa, M. Kobayashi, K. Saito, Y. Futamura. Interactive System for Structured Program Production. In ICSE. pages 162-171, 1984.
@inproceedings{MaezawaKSF84, title = {Interactive System for Structured Program Production}, author = {H. Maezawa and M. Kobayashi and K. Saito and Y. Futamura}, year = {1984}, tags = {Futamura}, researchr = {https://researchr.org/publication/MaezawaKSF84}, cites = {0}, citedby = {0}, pages = {162-171}, booktitle = {ICSE}, }