On the Composition of Parallel Program Schemata - Wm. A. Brinsfield; Raymond E. Miller (SWAT, 1971)