Discrete computational structures - Korfhage, Robert R. (Computer Science and Applied Mathematics., 1974)