Semantics of Programming Languages and Model Theory
Manfred Droste; Yuri Gurevich
Gordon Breach Science Publishers Ltd
1993
sidottu