Spatio-Temporal Databases - Vieira (Springer International Publishing, 2013)