Dijkstra's notes are available here:

http://www.cs.utexas.edu/~EWD/

They are hand written as you said.