Gửi tin nhắn: Computer-aided specification techniques /János Demetrovics, Előd Knuth, Péter Radó.