1. Term Rewriting and All That;Baader,1998
2. String-Rewriting Systems;Book,1993
3. Computing left Kan extensions;Bush;J. Symb. Comput.,1997
4. S. Carmody, R. F. C. Walters, Research Reports of the School of Mathematics and Statistics, The University of Sydney 90–19, 1990
5. S. Carmody, R. F. C. Walters, Category Theory, Proceedings of the International Conference, Como, Italy, 22–28 July 1990, LNM 1488, Carboni, A.Pedicchio, M. C.Rosolini, G. 1991, Springer