Gianluca Amato Francesca Scozzari A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. 52-70 2002 conf/lopstr/2002 LOPSTR http://link.springer.de/link/service/series/0558/bibs/2664/26640052.htm db/conf/lopstr/lopstr2002.html#AmatoS02