Axioms for concurrent objects (1987)

by M Herlihy, J Wing
Venue:In Proc. 14th ACM Symp. on Principles of Programming Languages