@article{TAC_1999_6_a3,
     author = {M. Okada and P. J. Scott},
     title = {A {Note} on {Rewriting} {Theory} for {Uniqueness} of {Iteration}},
     journal = {Theory and applications of categories},
     pages = {47--64},
     publisher = {mathdoc},
     volume = {6},
     year = {1999},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_1999_6_a3/}
}