C.-G. Lindström, “En algoritmskiss för Barfod’s epsilonprocess”, le, bd. 33, jan. 1969.