Mathematical structures for computer science - Gersting Judith L. (New York W.H. Freeman and Co., 2003)
Keywords: I I C