Lindström, C.-G. En Algoritmskiss för Barfod’s Epsilonprocess. le 1969, 33.