L. Aceto, W. J. Fokkink, and A. Ingólfsdóttir, “A Cancellation Theorem for BCCSP”, BRICS, vol. 14, no. 17, Dec. 2007.