@article{budd1982two,
  author={Budd, T.A. and Angluin, D.},
  title={Two notions of correctness and their relation to testing},
  journal={Acta Informatica},
  year={1982},
  volume={18},
  number={1},
  pages={31--45}
}