A note on rewriting theory for uniqueness of iteration. Okada, M.; Scott, P.J. — 1999 Theory and Applications of Categories [electronic only]