Software engineering mathematics - Woodcock, Jim (Pittman, 1987)