[3] Khanna S., Kunal K., Pierce B.C. (2007) A Formal Investigation of Diff3. In: Arvind V., Prasad S. (eds) FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science. FSTTCS 2007. Lecture Notes in Computer Science, vol 4855. Springer, Berlin, Heidelberg
[5] Robin La Fontaine and Nigel Whitaker Merge and Graft: Two Twins That Need To Grow Apart