"Web Services and Formal Methods, 8 conf., WS-FM 2011" - читать интересную книгу автора