Axioms for concurrent objects (1987)

by M P Herlihy, J M Wing
Venue:In Proceedings of the Fourteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages