Joseph H. Fasel, Robert M. Keller: Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986. Lecture Notes in Computer Science 279, Springer 1987, ISBN 3-540-18420-1