Reasoning and refinement in objectoriented specification languages (1992)

by K Lano, H Haughton
Venue:Proceedings of the 6th European Conference on Object-Oriented Programming (ECOOP), volume 615 of Lecture Notes in Computer Science