Stein Gjessing Monitors with Arrays of Condition Variables and Proof Rules Handling Local Quantities. 137-144 1980 20 BIT 2 db/journals/bit/bit20.html#Gjessing80