-V. Arvind/R. Ramanujam (Eds.): Foundations of Software Technology and Theoretical Computer Science. Springer-Verlag 1998 (Subseries LNAI)