Syntactic Control of Interference

John C. Reynolds. Syntactic Control of Interference. In POPL. pages 39-46, 1978.