Strout, et al.. Representation-independent Program Analysis. Association for Computing Machinery (ACM), Jan. 2006, doi:10.1145/1108768.1108810.