"Foundations of Software Science and Computational Structures, 11 conf., FOSSACS 2008" - читать интересную книгу автора (Roberto Amadio)