Book

Semantics of programming languages and model theory

by Manfred Droste, Yuri Gurevich