Algorithms_plus_data structures_is_programs - Wirth, Niklaus (Prentice-Hall Series in Automatic Computation, 1976)