Tuan-Anh Nguyen Pierre Kuonen ParoC++: A Requirement-driven Parallel Object-oriented Programming Language. 25-33 2003 conf/hips/2003 HIPS http://csdl.computer.org/comp/proceedings/hips/2003/1880/00/18800025abs.htm db/conf/hips/hips2003.html#NguyenK03