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