Reasoning about the correctness of software development process

@inproceedings{Pons-Baum:ICSE02,
  author    = {Claudia Pons and
               Gabriel Baum},
  title     = {Reasoning about the correctness of software development process},
  booktitle = {ICSE},
  pages     = {708},
  publisher = {{ACM}},
  year      = {2002},
}