P.-L. Curien, G. Plotkin, og G. Winskel, “Bistructures, Bidomains and Linear Logic”, BRICS, bd. 4, nr. 15, jan. 1997.