Amnon H. Eden, Yoram Hirshfeld. Principles in formal specification of object oriented design and architecture. In Darlene A. Stewart, J. Howard Johnson, editors, Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, November 5-7, 2001, Toronto, Ontario, Canada. pages 3, IBM, 2001. [doi]