William Mitchell Class assertions - an emerging factor in software engineering. 48-52 2001 conf/cata/2001 Computers and Their Applications db/conf/cata/cata2001.html#Mitchell01