Mathematical structures for computer science - Gersting, Judith L. (Freeman, 2003)
Includes index.