"Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... " - читать интересную книгу автора (Mogens Nielsen, Uffe Engberg)