J. Mack Adams, Andrew P. Black. On Proof Rules for Monitors. Operating Systems Review, 16(2):18-27, 1982.
@article{AdamsB82, title = {On Proof Rules for Monitors}, author = {J. Mack Adams and Andrew P. Black}, year = {1982}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/AdamsB82}, cites = {0}, citedby = {0}, journal = {Operating Systems Review}, volume = {16}, number = {2}, pages = {18-27}, }