A. Ingólfsdóttir, A. L. Christensen, J. A. Hansen, J. Johnsen, J. Knudsen, og J. I. Rasmussen, “A Formalization of Linkage Analysis”, BRICS, bd. 9, nr. 7, feb. 2002.