A Refinement Algebra for Object-Oriented Programming (2003)

by P Borba, A Sampaio, M Cornelio
Venue:In ECOOP 2003, LNCS 2743