G. Bauer n-Level Rewriting Systems. 85-99 1985 40 Theor. Comput. Sci. db/journals/tcs/tcs40.html#Bauer85