Chapter 13: Object-Oriented Programming Programming Logic and Design, Third Edition Comprehensive.
Internet Programming Chapter 1 Introduction to Programming Logic.
A Fixpoint Calculus for Local and Global Program Flows