Semantics of flowchart programs and the free Conway theoriesL. Bernátsky and Z. ÉsikRAIRO-Theor. Inf. Appl., 32 1-3 (1998) 35-78DOI: https://doi.org/10.1051/ita/1998321-300351
