Computation of language - Roland Hausser (Springer-Verlag, 1989)