Discrete computational structures - Korfhage, Robert R. (Academic Press Inc, 1974)