Steve Schneider Helen Treharne Alistair McEwan Wilson Ifill Experiments in Translating CSP || B to Handel-C. 115-133 2008 CPA http://dx.doi.org/10.3233/978-1-58603-907-3-115 conf/wotug/2008 db/conf/wotug/cpa2008.html#SchneiderTMI08