Curien, P.-L., Plotkin, G. and Winskel, G. (1997) “Bistructures, Bidomains and Linear Logic”, BRICS Report Series, 4(15). doi: 10.7146/brics.v4i15.18805.