Systematic concurrent object-oriented programming (1993)

by Bertrand Meyer
Venue:Communications of the ACM