Mathematical structures for computer science - Gersting, Judith L (Computer Scinece Press, 1993)
Includes index.