David Maley, Ivor T. A. Spence: Emulating Design by Contract in C++. TOOLS (29) 1999: 66-75