Syntactic Control of Interference, Part 2 (1989)

by John C Reynolds
Venue:ICALP 89, volume 372 of Lecture Notes in Computer Science