Formal Methods for Web Servicesby Marco Bernardo, Luca Padovani, Gianluigi ZavattaroWriting a summary for young readers…For young readersBook data: Open Library