A. Ingólfsdóttir, A. L. Christensen, J. A. Hansen, J. Johnsen, J. Knudsen, and J. I. Rasmussen, “A Formalization of Linkage Analysis”, BRICS, vol. 9, no. 7, Feb. 2002.