Grids: A Domain for Analyzing the Distribution of Numerical Values. - Roberto Bagnara; Katy Louise Dobson; Patricia M. Hill; Matthew Mundell; Enea Zaffanella (LOPSTR, 2006)