Ana M. D. Moreira, Robert G. Clark. Combining Object-Oriented Analysis and Formal Description Techniques. In Mario Tokoro, Remo Pareschi, editors, Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP 94, Bologna, Italy, July 4-8, 1994. Volume 821 of Lecture Notes in Computer Science, pages 344-364, Springer, 1994. [doi]
Abstract is missing.