Higher-dimensional categories with finite derivation type. Guiraud, Yves, Malbos, Philippe (2009) Theory and Applications of Categories [electronic only]