Mathematical structures for computer science - Gersting, Judith L. (A Series of books in the mathematical sciences, 1987)