Evolving Neural Networks [pdf]

On the Role of Scientific Thought (1974)

On Understanding Data Abstraction, Revisited (2009) [pdf]

Paxos Made Live – An Engineering Perspective [pdf]

ACL2 Version 6.5

Code Verification for Practical Machine Architectures

E.W.Dijkstra Archive: On the foolishness of "natural language programming". (EWD 667)

The Complexity of Songs (1977) [pdf]

Edsger W. Dijkstra Archive, Transcriptions