Book

Web Services and Formal Methods

by Maurice H. ter Beek, Niels Lohmann