Point/Counterpoint. - Gerald D. Everett; Bertrand Meyer 001 (IEEE Softw., 2009)