Bernátskyand Ésik. Semantics of Flowchart Programs and the Free Conway Theories. no. 1-3, EDP Sciences, 1998, doi:10.1051/ita/1998321-300351.