Concurrent CLU

Hamilton, Cambridge University, 1984

"Preserving Abstraction in Concurrent Programming", R. Cooper et al, IEEE Transactions on Software Engineering SE-14(2):258-263 (Feb 1988).