Hans-Juergen Boehm Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. 637-655 1985 7 ACM Trans. Program. Lang. Syst. 4 http://doi.acm.org/10.1145/4472.4474 db/journals/toplas/toplas7.html#Boehm85