Federico Crazzolara Glynn Winskel Composing Strand Spaces. 97-108 2002 conf/fsttcs/2002 FSTTCS http://link.springer.de/link/service/series/0558/bibs/2556/25560097.htm db/conf/fsttcs/fsttcs2002.html#CrazzolaraW02