Manuel M. T. Chakravarty Yike Guo Martin Köhler Hendrik C. R. Lock Co-ordinating Parallel Computation through Equational Constraints. 123-132 1995 WLP db/conf/wlp/wlp95.html#ChakravartyGKL95