Paul Roe Clemens A. Szyperski Mianjin: A Parallel Language with a Type System That Governs Global System Behaviour. 38-50 2000 conf/jmlc/2000 JMLC db/conf/jmlc/jmlc2000.html#RoeS00