F. Crazzolara and G. Winskel, “Composing Strand Spaces”, BRICS, vol. 9, no. 5, Feb. 2002.