cs.wikipedia.org/wiki/Edsger_Dijkstra
www.cs.utexas.edu/users/EWD
www.fi.muni.cz/usr/jkucera/pv109/xjezowic