Preserving Abstraction in Concurrent Programming. - Robert C. B. Cooper; K. G. Hamilton (IEEE Trans. Software Eng., 1988)