?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Mikl%C3%B3s&rft.aulast=Bartha&rft.au=+Bartha+Mikl%C3%B3s&rft.pages=203-217&rft.issn=0324-721X&rft.date=1987&rft.title=Acta+cybernetica&rft.issue=2&rft.volume=8&rft.atitle=A+finite+axiomatization+of+flowchart+schemes&rft.genre=article