McNamee, C.M., and Olsson, R.A. Transformations for optimizing interprocess communication and synchronization mechanisms. International Journal of Parallel Programming 19, 5 (Oct. 1990) pages 357- 387.

Languages mentioned

• SR {1988} Synchronizing Resources - concurrent programming language