Patrícia D. L. Machado. On Oracles for Interpreting Test Results against Algebraic Specifications. In Armando Martin Haeberer, editor, Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, Proceedings. Volume 1548 of Lecture Notes in Computer Science, pages 502-518, Springer, 1998. [doi]