Ingólfsdóttir, A. and Schalk, A. (1995) “A Fully Abstract Denotational Model for Observational Congruence”, BRICS Report Series, 2(40). doi: 10.7146/brics.v2i40.19942.