"Foundations of Software Science and Computational Structures, 12 conf., FOSSACS 2009" - читать интересную книгу автора