Reasoning and Refinement in Object-Oriented Specification Languages.

Kevin Lano, Howard P. Haughton

Browse the full ECOOP paper archive.