author : Wolfgang Thomas

Short works

• Languages, Automata, and Logic. 1997. (In Beyond Words )