Mathematical Structures for Computer Science (Mathematical Sciences)