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
Shuffle binoids S. L. Bloom; Z. Ésik — 1998 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications