H. C. M. Kleijn, G. Rozenberg, and R. Verraedt, “On the role of blocking in rewriting systems”, Acta Cybern, vol. 5, no. 4, pp. 189-408, Jan. 1982.