Typo of the name Dijkstra :-(

http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD898.html

On Jun 9, 2015 11:12 AM, <lucio@proxima.alt.za> wrote:

> -- Dijstraka, EWD898, 1984

Huh?!

Lucio