Manfred Broy, Christian Lengauer: On Denotational versus Predicative Semantics. J. Comput. Syst. Sci. 42(1): 1-29 (1991)