A Value Transmission Method for Abstract Data Types (1982)

by M. Herlihy, B. Liskov
Venue:ACM Transactions on Programming Languages and Systems