Ésik Zoltán: On the weak equivalence of Elgot's flow-chart schemata. In: Acta cybernetica, (7) 2. pp. 146-154. (1985)