Graph Transformations: Theory and Application by Vitalsource Technologies, Inc