The cycle contraction mapping theorem /
Matthews, Steve.
University of Warwick.Department of Computer Science.
Coventry : Department of Computer Science, University of Warwick,
1992.