-M. Nivat (Ed.): Foundations of Software Science and Computation Structures. Proceedings, Springer-Verlag 1998