Semantics of programming languages and model theory - Droste Manfred; Gurevich Yuri (India Gordon and Breach Science Pub, 1993)
Keywords: Computer science; Model theory; Programming languages