Concurrent objects in the blue calculus (1998)

by S Dal Zilio