Preserving Abstraction in Concurrent Programming (1988)

by R C B Cooper, K G Hamilton
Venue:IEEE Trans. Softw. Eng