Smith, Frederick; Walker, David and Greg Morrisett. "Alias Types"

(1999) European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science  

Languages mentioned TAL {1997} Assembly language for TALC