%0 Journal Article %@ 0324-721X %A Bartha Miklós %C Szeged %D 1987 %F acta:12433 %J Acta cybernetica %K Számítástechnika, Kibernetika %N 2 %P 203-217 %T A finite axiomatization of flowchart schemes %U http://acta.bibl.u-szeged.hu/12433/ %V 8 %Z Bibliogr.: 217. p.