A. R. Saxena Thomas H. Bredt Verification of a Monitor Specification. 53-59 1976 ICSE db/conf/icse/icse76.html#SaxenaB76