Software Correctness in Object Oriented Languages: Key Concepts and Comparison. - Lady Baquero; Jose Garrido (IKE, 2010)