Semantics of Object-Oriented Languages
Mario I. Wolczko
In Case Studies in
Systematic Software Development,
Cliff B. Jones and Roger C. F. Shaw, editors,
chapter 10, pages 257-269. Prentice-Hall
International, 1990.
Sorry, but neither the abstract nor the paper is available.