Foundations of Computer Science

Christian Freksa, Matthias Jantzen, and Rüdiger Valk (eds.)

Berlin, 1997