Miquel Bertran Francesc-Xavier Babot August Climent Miquel Nicolau Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. 20-39 2001 conf/sas/2001 SAS http://link.springer.de/link/service/series/0558/bibs/2126/21260020.htm db/conf/sas/sas2001.html#BertranBCN01