Programming is the art of writing essays in crystal clear prose and making them executable
The architecture of concurrent programs (ed. Prentice Hall, 1977)
