You are about to access our book library "Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 2303) full version"
.