-M. Joseph/R. Shyamasundar (Eds.): Foundations of Software Technology and Theoretical Computer Science, Proceedings 1984, Springer-Verlag 1984