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