Maurice Nivat:Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings.Lecture Notes in Computer Science 1378, Springer1998, ISBN 3-540-64300-1