N. Klarlund and M. I. Schwartzbach, “Graphs and Decidable Transductions based on Edge Constraints”, BRICS, vol. 1, no. 4, Feb. 1994.