Foundations of computer programming in Britain 1945-1955