On the weak equivalence of Elgot's flow-chart schemata - Ésik, Zoltán (Acta Cybernetica, 1985)