Support for Design by ContractTM in the CTM Programming Language. - Rachel Henne-Wu; William Mitchell; Cui Zhang (J. Object Technol., 2005)