Mathematical Structures for Computer Science - GERSTING, Judith L. (W. H. Freeman and Company, 1982)