V. E. Căzănescu and G. Ştefănescu, “A note on axiomatizing flowchart schemes”, Acta Cybern, vol. 9, no. 4, pp. 349-359, Jan. 1990.