@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} }