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