Constraints: A Uniform Approach to Aliasing and Typing. To appear (1985)

by L Lamport, F B Schneider
Venue:in Proceedings of the Twelfth Annual ACM Conference on the Principles of Programming Languages