Vitalsource Technologies, Inc. Relational And Algebraic Methods In Computer Science