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
>
>
>