"Formal methods for web services advanced lectures, 9, 2009, Bertinoro" - читать интересную книгу автора (Marco Bernardo, Luca Padovani, Gianluigi Zavattaro)