A flow diagram composition of Markov's normal algorithms without concluding formulasG. GermanoA. Maggiolo-Schettini1973BIT