Stephen L. Bloom Ralph Tindell Algebraic and Graph Theoretic Characterizations of Structured Flowchart Schemes. 265-286 1979 9 Theor. Comput. Sci. db/journals/tcs/tcs9.html#BloomT79