An abstract formulation for rewrite systems (1989)

by A J Power
Venue:In Category Theory and Computer Science