Gửi tin nhắn: Optimization and computational logic /Ken McAloon and Carol Trekoff