DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements

@inproceedings{Petrone-al:ICSE82,
  author    = {Luigi Petrone and
               Antonio Di Leva and
               Franco Sirovich},
  title     = {{DUAL:} An Interactive Tool for Developing Documented Programs by {Step-Wise} Refinements},
  booktitle = {ICSE},
  pages     = {350--359},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}