An introduction to engineered software - Gillett, Will D. (HRW series in computer science., 1982)