Lecture notes in computer science. (Berlin Springer-Verlag)