-F.J. Brandenburg/G. Vidal-Naquet/M. Wirsing (Eds.): STACS 87, Proceedings 1987, Springer-Verlag 1987