A Refinement Algebra for Object-Oriented Programming.

Paulo Borba, Augusto Sampaio, Mrcio Cornlio

Browse the full ECOOP paper archive.