Bartha, M. 1987. A finite axiomatization of flowchart schemes. Acta Cybernetica. 8, 2 (Jan. 1987), 203-217.