Sara Porat L. Paul Fertig Class Assertions in C++. 30-37 1995 8 JOOP 2 db/journals/joop/joop8.html#PoratF95