Game Development Using Design-by-Contract. - Richard F. Paige; Triston S. Attridge; Phillip J. Brooke (J. Object Technol., 2006)