Design by contract, by example January 2002 Object-oriented programming (Computer science); Computer-aided design. ISBN 0201634600 View on Amazon Lists featuring this book (2)
