S. B. Lassen, “Relational Reasoning about Contexts”, BRICS, bd. 4, nr. 24, jan. 1997.