Checking the Conformance of Java Classes Against Algebraic Specifications. - Isabel Nunes; Antónia Lopes; Vasco Thudichum Vasconcelos; João Abreu; Luís S. Reis (ICFEM, 2006)