N. Klarlund og M. I. Schwartzbach, “Graphs and Decidable Transductions based on Edge Constraints”, BRICS, bd. 1, nr. 4, feb. 1994.