The Todd-Coxeter Procedure and Left Kan Extensions. - S. Carmody; M. Leeming; Robert F. C. Walters (J. Symb. Comput., 1995)

Computing left Kan extensions. - Michael R. Bush; M. Leeming; Robert F. C. Walters (J. Symb. Comput., 2003)