An introduction to engineered software - Gillett, Will D.; Pollack, Seymour V.