Silvano Dal-Zilio Andrew D. Gordon Region Analysis and a pi-Calculus wiht Groups. 1-20 http://link.springer.de/link/service/series/0558/bibs/1893/18930001.htm 2000 conf/mfcs/2000 MFCS db/conf/mfcs/mfcs2000.html#Dal-ZilioG00