Chakravarty, Indranil et al "UNITY to UC: A Case Study in the Derivation of Parallel Programs"

Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992  

Languages mentioned UC {1995} Parallel dialect of C featuring sets Unity {1988}