Tilak Agerwala Some Extended Semaphore Primitives Acta Inf. 8 1977 201-220 db/journals/acta/acta8.html#Agerwala77