PDAS: An Assistant for Detailed Design and Implementation of Programs

@inproceedings{Mohri-al:ICSE84,
  author    = {Tomoharu Mohri and
               Etsuo Ono and
               Sanya Uehara and
               Tetsuyasu Takao and
               Hideki Sato},
  title     = {{PDAS:} An Assistant for Detailed Design and Implementation of Programs},
  booktitle = {ICSE},
  pages     = {108--115},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}