A semantically meaningful characterization of reducible flowchart schemesCalvin C. ElgotJohn C. Shepherdson1979Theoretical Computer Science