Interactive System for Structured Program Production

@inproceedings{Maezawa-al:ICSE84,
  author    = {H. Maezawa and
               M. Kobayashi and
               K. Saito and
               Y. Futamura},
  title     = {Interactive System for Structured Program Production},
  booktitle = {ICSE},
  pages     = {162--171},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}