Ésik, Z. 1985. On the weak equivalence of Elgot’s flow-chart schemata. Acta Cybernetica. 7, 2 (Jan. 1985), 146-154.