Ted L. Briggs, John Werth. A Specification Language for Object-Oriented Analysis and Design. 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 365-385, Springer, 1994. [doi]
Abstract is missing.