Discrete computational structures. - Korfhage, Robert R. (Computer science and applied mathematics, 1974)