The EWD by Dijkstra now actually mentions Engelbart by name: <a href="https:&#x2F;&#x2F;www.cs.utexas.edu&#x2F;users&#x2F;EWD&#x2F;ewd03xx&#x2F;EWD387.PDF" rel="nofollow">https:&#x2F;&#x2F;www.cs.utexas.edu&#x2F;users&#x2F;EWD&#x2F;ewd03xx&#x2F;EWD387.PDF</a>.