Constraints: A Uniform Approach to Aliasing and Typing.

Leslie Lamport, Fred B. Schneider

Browse the full POPL paper archive.