A science of operations machines, logic and the invention of programming / - Priestley, Mark (Springer,)