Patricia Johann Janis Voigtländer A family of syntactic logical relations for the semantics of Haskell-like languages. 341-368 2009 207 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2007.11.009 db/journals/iandc/iandc207.html#JohannV09