Ésik, Z. (1985). On the weak equivalence of Elgot’s flow-chart schemata. Acta Cybernetica, 7(2), 146-154. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3283