Văn bản này: Mathematical structures for computer science.