Suresh Jagannathan Stephen Weeks Analyzing Stores and References in a Parallel Symbolic Language. 294-305 1994 LISP and Functional Programming http://doi.acm.org/10.1145/182409.182493 db/conf/lfp/lfp1994.html#JagannathanW94