Edsger Wybe Dijkstra profile picture

Edsger Wybe Dijkstra

A Primer of Algol 60 Programming
Selected Writings On Computing: A Personal Perspective
Structured Programming
Predicate Calculus and Program Semantics
Selected Writings on Computing: A Personal Perspective