Cooper, R. et al "Preserving Abstraction in Concurrent Programming"

(1988) IEEE Transactions on Software Engineering, 14(02) February 1988  

Languages mentioned CCLU {1988} Cambridge CLU