Formal Aspects of Context