Per Brinch Hansen A Comparison of Two Synchronizing Concepts Acta Inf. 1 1972 190-199 db/journals/acta/acta1.html#Hansen72