Klarlund, Nils, og Michael I. Schwartzbach. “Graphs and Decidable Transductions Based on Edge Constraints”. BRICS Report Series, bd. 1, nr. 4, februar 1994, doi:10.7146/brics.v1i4.21666.