Calvin C. Elgot, John C. Shepherdson: A Semantically Meaningful Characterization of Reducible Flowchart Schemes. Theor. Comput. Sci. 8: 325-357 (1979)