Ingólfsdóttir, A.; Schalk, A. A Fully Abstract Denotational Model for Observational Congruence. BRICS 1995, 2.