Formal derivation of object-oriented designs - Timothy McComb (2007)