Model Theory - Chang, Chen Chung (Amsterdam : North Holland, 1977)