Text this: Web services and formal methods :