Peter E. Lauer, M. W. Shields. Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. SIGPLAN Notices, 13(12):41-59, 1978. [doi]
@article{LauerS78-0, title = {Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts}, author = {Peter E. Lauer and M. W. Shields}, year = {1978}, doi = {10.1145/954587.954591}, url = {https://doi.org/10.1145/954587.954591}, researchr = {https://researchr.org/publication/LauerS78-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {13}, number = {12}, pages = {41-59}, }