Bernátsky László; Ésik Zoltán: Semantics of flowchart programs and the free Conway theories. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 32 (1-3). pp. 35-78. ISSN 0988-3754 (1998)