A Science of Operations Machines, Logic and the Invention of Programming - Priestley, Mark (Springer London : Imprint: Springer, 2011)