Michael L. Dertouzos Control Robotics: The Procedural Control of Physical Processes. 807-813 1974 IFIP Congress db/conf/ifip/ifip74.html#Dertouzos74