Căzănescu, V.E. and Ştefănescu, G. 1990. A note on axiomatizing flowchart schemes. Acta Cybernetica. 9, 4 (Jan. 1990), 349–359.