Automating the Analysis of Spatial Grids - Lakshmanan, Valliappa (Springer Netherlands, 2012)