N. Klarlund and M. I. Schwartzbach, “Graphs and Decidable Transductions based on Edge Constraints: Extended abstract”, DPB, vol. 23, no. 469, Feb. 1994.