SAW: the spatial assertion workbench - Calcagno, C; Berdine, J; Yang, H; O'Hearn, P (Birmingham, 2015)