Web services and formal methods by Mario Bravetti | Menrva Books | MenrvaBooks