Linear logic and interference control (1991)

by P W O’Hearn
Venue:Syracuse University