Căzănescu Virgil Emil and Ştefănescu Gheorghe: A note on axiomatizing flowchart schemes. In: Acta cybernetica, (9) 4. pp. 349-359. (1990)