Basic model theory - Doets, Kees (CLSI Publications, 1996)