Dijkstra died in 2002, so I assume 2010 is just the date of transcription
1979. https://doi.org/10.1007/BFb0014656
1979. https://doi.org/10.1007/BFb0014656