Yuri Velinov An Algebraic Structure for Derivations in Rewriting Systems. 205-224 1988 57 Theor. Comput. Sci. db/journals/tcs/tcs57.html#Velinov88