"ACM transactions on programming languages and systems (January)" - читать интересную книгу автора