Describir: A Science of Operations: Machines, Logic, and the Invention of Programming.