A Science of Operations : machines, logic and the invention of programming - Priestley, Mark Peter (History of Computing / series Editor Martin Campbell-Kelly, 2011)