Model Theory and Applications - Mangani, P. (Springer Berlin Heidelberg, 2011)