Synchronizing Shared Abstract Types

Peter M. Schwarz Alfred Z. Spector Synchronizing Shared Abstract Types ACM Trans. Comput. Syst. 2 3 1984 223-250 https://doi.org/10.1145/989.1188 db/journals/tocs/tocs2.html#SchwarzS84