Disciplined programming: using Pascal - Rhoads, Samuel E. (Wm. C. Brown Publishers, 1990)