Hamilton, 1984.
["Preserving Abstraction in Concurrent Programming", R. Cooper et al, IEEE Trans Soft Eng SE-14(2):258-263 (Feb 1988)].
Try this search on Wikipedia, OneLook, Google
Nearby terms: Concurrent C « Concurrent C++ « Concurrent Clean « Concurrent CLU » Concurrent Constraint Programming » Concurrent Euclid » Concurrent LISP