On What Exactly Is Going On When Software Is Developed Step-by-Step

@inproceedings{Maibaum-Turski:ICSE84,
  author    = {T. S. E. Maibaum and
               Wladyslaw M. Turski},
  title     = {On What Exactly Is Going On When Software Is Developed {Step-by-Step}},
  booktitle = {ICSE},
  pages     = {528--533},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}