[The following words, written by Dijkstra in January 1973, are from Box 9 in my archive.]
Things I would like to do (they are not all unrelated).
1) write a book on the art of programming.
2) find a good notation for doing justice to representational abstraction.
3) investigate axiomatic definition of semantics with the aim of