Constraints: A Uniform Approach to Aliasing and Typing (1984)

by Leslie Lamport, Fred B. Schneider
Venue:In Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN