A refinement algebra for object-oriented programming (2003)

by P Borba, A Sampaio, M Cornelio
Venue:Proc. ECOOP 2003, Lecture Notes in Computer Science 2743