Lecture Notes in Computer Science - Cori R.; Wirsing M. (Berlin, Springer-Verlag, 1988)