419 McCarthy, John and Buvac, Sasa (1997) Formalizing Context (Expanded Notes). [Preprint]