Language Design Principles

Go To Statement Considered Harmful

Edsger W. Dijkstra

Unrestricted jumps destroy the correspondence between program text and program execution, which is what makes reasoning possible.

Assumes having written a loop and lost track of where control went; three pages, no mathematics

Programming with Abstract Data Types

Barbara Liskov & Stephen Zilles

Argues a language should let a programmer define new types whose representation is hidden, so a data structure's implementation can change without touching the code that uses it.