CC++: A declarative concurrent object-oriented programming notation (1993)

by K M Chandy, C Kesselman