-A.B. Cremers/H.P Kriegel (Eds.): Theoretical Computer Science, Proceedings 1983, Springer-Verlag 1982