Bartha, Miklós. 1987. “A Finite Axiomatization of Flowchart Schemes”. Acta Cybernetica 8 (2), 203-17. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3333.