Aceto, L., Fokkink, W. J., & Ingólfsdóttir, A. (2007). Ready To Preorder: Get Your BCCSP Axiomatization for Free!. BRICS Report Series, 14(3). https://doi.org/10.7146/brics.v14i3.21926