Vitalsource Technologies, Inc. Construction Of Integration Formulas For Initial Value Problems