Robert B. Jackson, David W. Embley, Scott N. Woodfield. Automated Support for the Development of Formal Object-Oriented Requirements Specifications. In Gerard Wijers, Sjaak Brinkkemper, Anthony I. Wasserman, editors, Advanced Information Systems Engineering, CAiSE 94, Utrecht, The Netherlands, June 6-10, 1994, Proceedings. Volume 811 of Lecture Notes in Computer Science, pages 135-148, Springer, 1994.
Abstract is missing.