Luca Aceto Wan Fokkink Anna Ingólfsdóttir A Cancellation Theorem for BCCSP. 1-21 2008 88 Fundam. Inform. 1-2 http://iospress.metapress.com/content/t240268303147214/ db/journals/fuin/fuin88.html#AcetoFI08