A Formal Approach to Discourse Anaphora