S. B. Lassen, “Relational Reasoning about Contexts”, BRICS, vol. 4, no. 24, Jan. 1997.