SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION - Lewis, Theodore Gyle (Reston Publishing, 1982)