M. Bartha, “A finite axiomatization of flowchart schemes”, Acta Cybern, vol. 8, no. 2, pp. 203-217, Jan. 1987.