PatrĂcia D. L. Machado. Testing from structured algebraic specifications : the oracle problem. PhD thesis, University of Edinburgh, UK, 2000. [doi]
@phdthesis{ethos-6657, title = {Testing from structured algebraic specifications : the oracle problem}, author = {PatrĂcia D. L. Machado}, year = {2000}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561757}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-6657}, cites = {0}, citedby = {0}, school = {University of Edinburgh, UK}, }