Vitalsource Technologies, Inc. A Formal Approach To Discourse Anaphora