Extending Concurrent Pascal to Allow Dynamic Resource Management. - Silberschatz, Abraham; Kieburtz, Richard B.; Bernstein, Arthur I. (IEEE Transactions on Software Engineering, 1977)