Hans Albrecht Schmid On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors. 227-249 1976 6 Acta Inf. db/journals/acta/acta6.html#Schmid76