Updated Dijkstra vs Perlis (really, DeMillo)