A Verified Integration of Parallel Programming Paradigms in CC++.

Paolo A. G. Sivilotti A Verified Integration of Parallel Programming Paradigms in CC++. 44-50 1994 conf/ipps/1994 IPPS db/conf/ipps/ipps1994.html#Sivilotti94