(1)
Lassen, S. Relational Reasoning about Contexts. BRICS 1997, 4.