Semantics of flowchart programs and the free Conway theories L. Bernátsky; Z. Ésik — 1998 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications