Web Services, Formal Methods, and Behavioral Types - Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich; Antonio, Ravara; Ravara, António; van der Werf, Jan Martijn; Weidlich, Matthias (Springer International Publishing, 2016)