Bartha Miklós:   A finite axiomatization of flowchart schemes.  In: Acta cybernetica, (8) 2.  pp. 203-217. (1987)