Programming in Oberon: Steps Beyond Pascal and Modula

By Martin Reiser, Niklaus Wirth; ACM Press, 1992, ISBN 0201565439. Purchase source. Concise, illustrative, clear style, many examples, exercises; see how stepwise refinement, data abstraction aid program design. [Amazon.com]