Kim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky. Proper termination of flow-of-control in programs involving concurrent processes. SIGPLAN Notices, 7(11):15-27, 1972. [doi]
@article{GostelowCEV72-0, title = {Proper termination of flow-of-control in programs involving concurrent processes}, author = {Kim P. Gostelow and Vincent G. Cerf and Gerald Estrin and Saul Volansky}, year = {1972}, doi = {10.1145/987361.987365}, url = {https://doi.org/10.1145/987361.987365}, researchr = {https://researchr.org/publication/GostelowCEV72-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {7}, number = {11}, pages = {15-27}, }