Nasim Mahmood Guosheng Deng James C. Browne Compositional Development of Parallel Programs. 109-126 http://dx.doi.org/10.1007/978-3-540-24644-2_8 2003 conf/lcpc/2003 LCPC db/conf/lcpc/lcpc2003.html#MahmoodDB03