Furio Honsell

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 2030)