Preserving abstraction in concurrent programming (1988)

by R C B Cooper, K G Hamilton
Venue:IEEE Transactions on Software Engineering