J. Hoffman. A Practical Notation for Object Oriented Analysis with a Formal Meaning. In TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia. pages 225-237, IEEE Computer Society, 1997. [doi]
Abstract is missing.