Vitalsource Technologies, Inc. Theory of Structured Parallel Programming