Systematic Concurrent Object-Oriented Programming (1993)

by B Meyer
Venue:Communications of the ACM