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