"Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ... " - читать интересную книгу автора (Furio Honsell, Marino Miculan)