Software engineering - Jensen, Randall W; Tonies, Charles C (New Jersey Englewood Cliffs, 1979)