An introduction to engineered software - Gillett (Holt, Rinehart, and Winston, 1982)