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