History of denotational semantics