Lassen, S. B. Relational Reasoning about Contexts. BRICS 1997, 4.