"Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings" - читать интересную книгу автора (Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro)