Title: Theory of Structured Parallel Programming