Alain J. Martin An Axiomatic Definition of Synchronization Primitives. 219-235 1981 16 Acta Inf. db/journals/acta/acta16.html#Martin81