Manfred Broy Christian Lengauer On Denotational versus Predicative Semantics. 1-29 1991 42 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss42.html#BroyL91 https://doi.org/10.1016/0022-0000(91)90037-6