A science of operations: machines, logic and the invention of programming | Synapse