@misc{W2052363833,
  author = {Bertrand Meyer},
  title = {Applying 'design by contract'},
  year = {1992},
  howpublished = {Computer},
  doi = {https://doi.org/10.1109/2.161279}
}