Discrete computational structures - Korfhage, Robert R. (Computer Science and Applied Mathematics / Academic Press Inc.., 1984)