"Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European ... Computer Science and General Issues)" - читать интересную книгу автора (Martin Hofmann)