Computation theory and logic - Borger Egon Ed. (Berlin Springer-Verlag, 1987)
Keywords: Computer science