William Mitchell. Class assertions - an emerging factor in software engineering. In C. C. Hung, editor, Proceedings of the ISCA 16th International Conference Computers and Their Applications, March 28-30, 2001, Seattle, Washington, USA. pages 48-52, ISCA, 2001.
Abstract is missing.