Lecture notes in computer science [V.233] Mathematical foundations of Computer Science 1986 - Goos, G. [Ed.]; Hartmanis, J. [Ed.] (Springer-Verlag Berlin, 1986)