Klarlund, N., and M. I. Schwartzbach. “Graphs and Decidable Transductions Based on Edge Constraints: Extended Abstract”. DAIMI Report Series, vol. 23, no. 469, Feb. 1994, doi:10.7146/dpb.v23i469.6942.