%N 2
%K SzĂĄmĂ­tĂĄstechnika, Kibernetika
%D 1987
%O Bibliogr.: 217. p.
%C Szeged
%V 8
%L acta12433
%P 203-217
%A  Bartha MiklĂłs
%T A finite axiomatization of flowchart schemes
%J Acta cybernetica