Syntactic control of interference. Pages 39--46 of (1978)

by John C Reynolds
Venue:the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages