Proofs and proof transformations for object-oriented programs. - Darío M. Nordio (2009)