G. Plotkin and G. Winskel, “Bistructures, Bidomains and Linear Logic”, BRICS, vol. 1, no. 9, May 1994.