Plotkin, G.; Winskel, G. Bistructures, Bidomains and Linear Logic. BRICS 1994, 1.