121 followers
Sources: Dijkstra's paper is online in the University of Texas Dijkstra archive, numbered as EWD 123. It rules. https://t.co/Uohaudh6D1 The intro from Hansen's book is academic paywalled by Springer. But the DOI is here if you want the meta-deets. https: