Modelling term rewriting systems by Sesqui-categories (1994)

by J G Stell