John H. Howard Reply to "On Proof Rules for Monitors". 8-9 1982 16 Operating Systems Review 4 db/journals/sigops/sigops16.html#Howard82