Interpolation and Definability - Gabbay, Maksimova (Oxford University PressOxford University Press, 2007)