Computation Theory and Logic (Lecture notes in computer science, vol.270) | Kaicus Deutschland