Title: Web Services, Formal Methods, and Behavioral Types
Subjects: Web services, System design