Vitalsource Technologies, Inc. Introduction to Lattice Theory with Computer Science Applications