Semantics of programming languages and model theory - Droste, Manfred 1956-; Gurevich, Yuri (Algebra, logic, and applications, 1993)