Paolo A. G. Sivilotti. A Verified Integration of Parallel Programming Paradigms in CC++. In Howard Jay Siegel, editor, Proceedings of the 8th International Symposium on Parallel Processing, Cancún, Mexico, April 1994. pages 44-50, IEEE Computer Society, 1994.
Abstract is missing.