Structured Programming O.-J. Dahl, E. W. Dijkstra, and C.A.R. Hoare. Academic Press, 1972.
Dijkstra explains structured programming (with an eye to proofs), Hoare explains data structures, and Dahl and Hoare explain something called “objects.” Note the publication year. (Reviewed Nov., ’02)