Roberto Bruni Ivan Lanese Ugo Montanari Complete Axioms for Stateless Connectors. 98-113 2005 conf/calco/2005 CALCO http://dx.doi.org/10.1007/11548133_7 db/conf/calco/calco2005.html#BruniLM05