Abraham Silberschatz Richard B. Kieburtz Arthur J. Bernstein Extending Concurrent Pascal to Allow Dynamic Resource Management. 210-217 1977 3 IEEE Trans. Software Eng. 3 db/journals/tse/tse3.html#SilberschatzKB77 http://doi.ieeecomputersociety.org/10.1109/TSE.1977.231130