Software Engineering with Formal Metrics, Ejiogu, Lem O.