Mathematical structures for computer science - GERSTING, Judith L. (New York Computer Science Press, 1993)