E. Douglas Jensen Decentralized Executive Control of Computers. 31-35 1982 conf/icdcs/1982 ICDCS db/conf/icdcs/icdcs82.html#Jensen82