Semantics of programming languages and model theory / - Droste, Manfred; Gurevich, Yuri. (Gordon and Breach Science Publishers, 1993)