Modelling term rewriting systems by sesqui-categories (1994)

by J G Stell