Jan A. Bergstra Inge Bethke Polarized Process Algebra and Program Equivalence. 1-21 2003 conf/icalp/2003 ICALP http://link.springer.de/link/service/series/0558/bibs/2719/27190001.htm db/conf/icalp/icalp2003.html#BergstraB03