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

• Cooper, R. et al (1988) Cooper, R. et al "Preserving Abstraction in Concurrent Programming"