Web Services and Formal Methodsby Maurice H. ter Beek, Niels LohmannWeb servicesSystem designWriting a summary for young readers…For young readersBook data: Open Library