Kleijn, H.C.M. et al. 1982. On the role of blocking in rewriting systems. Acta Cybernetica. 5, 4 (Jan. 1982), 189–408.