You are about to access our book library "Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences ... Spain, March 29 - April 2, 2004, Proceedings full version"
.