Hopper and Dijkstra: Crisis, Revolution, and the Future of Programming | IEEE Journals & Magazine | IEEE Xplore