Dijkstra talks about this. Post-war European computing science departments couldn't afford computers and they only got to borrow something like an hour a week f

Dijkstra talks about this. Post-war European computing science departments couldn't afford computers and they only got to borrow something like an hour a week from the Americans. This forced them to devise methods for writing reliable code without a computer.