[1]
A. Ingólfsdóttir and A. Schalk, “A Fully Abstract Denotational Model for Observational Congruence”, BRICS, vol. 2, no. 40, Jun. 1995.