"Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences ... " - читать интересную книгу автора (Maurice Nivat)