-W. Thomas (Ed.): Foundations of Software Science and Compuation Structures. Proceedings, Springer-Verlag 1999