Gửi tin nhắn: Formal Specification and Documentation Using Z : A Case Study Approach / Jonathan Bowen