Vitalsource Technologies, Inc. Principles Of Concurrent And Distributed Prog.