Peter W. O'Hearn Linear Logic and Interference Control. 74-93 1991 conf/ctcs/1991 Category Theory and Computer Science db/conf/ctcs/ctcs1991.html#OHearn91