Abstract

Programming methodology for object invariants and modifications of state.