https://mamchenkov.net/wordpress/2004/08/06/archives-of-edsger-w-dijkstra/