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