-S. Adian/A. Nerode (Eds.): Logical Foundations of Computer Scicnce. Proccedings, Springer-Verlag 1997