A Science of Operations : Machines, Logic and the Invention of Programming - Mark Priestley ((History of Computing))