Semantics of flowchart programs and the free Conway theories L. Bernátsky and Z. Ésik RAIRO-Theor. Inf. Appl., 32 1-3 (1998) 35-78 Published online: 01 February 2017 DOI: 10.1051/ita/1998321-300351