TDT4205/slides/denotational_semantics.pdf