Requirement Oriented Programming

@inproceedings{Musser1998RequirementOP,
  title={Requirement Oriented Programming},
  author={David R. Musser and Sibylle Schupp and R{\"u}diger Loos},
  booktitle={Generic Programming},
  year={1998}
}