John H. Howard. Proving Monitors. Communications of the ACM, 19(5):273-279, 1976.
@article{Howard76:0,
title = {Proving Monitors},
author = {John H. Howard},
year = {1976},
researchr = {https://researchr.org/publication/Howard76%3A0},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {19},
number = {5},
pages = {273-279},
}