Ready to preorder: Get your BCCSP axiomatization for free (2007)

by L Aceto, W Fokkink, A Ingolfsdottir
Venue:In Proc. CALCO’07, LNCS 4624