A Science of Operations : machines, logic and the invention of programming - Priestley, Mark Peter (Springer, 2011)