Z. Ésik, “On the weak equivalence of Elgot’s flow-chart schemata”, Acta Cybern, vol. 7, no. 2, pp. 146-154, Jan. 1985.