The Design of Well-Structured and Correct Programs (Monographs in Computer Science)