Cleanroom Software Engineering by etc., Carmen J. Trammell & Jesse H. Poore