Quadtrees as an Abstract Domain. - Jacob M. Howe; Andy King; Charles Lawrence-Jones (NSAD@SAS, 2010)