G. Plotkin og G. Winskel, “Bistructures, Bidomains and Linear Logic”, BRICS, bd. 1, nr. 9, maj 1994.