Presents the entire computer programming language Pascal, stressing examples. Top-down design is applied throughout and top-down testing is stressed as an integral part of the refinement process. Emphasis is given to symbolic and subrange types. Each subject is covered fully to aid the book's use as a reference text. No prior familiarity with computers is required, making assimilation easier for the novice. Over 100 practical exercises, and hints on solutions for many of these.