Foundations of data exchange - Arenas, Marcelo (Cambridge University Press, 2014)