This volume explores top-down structured problem solving, the process of data abstraction and structuring, and the comparative study of algorithms as fundamental tools of program design. The new edition uses a concrete and practical approach to cover the process of data specification and abstraction. Turbo Pascal is used throughout, developing several large sample programs in the text.