1958
4 works on record
Lectures in game theory for computer scientists
Finite Model Theory and Its Applications
Logic and automata
Automata, logics, and infinite games