Most of the references in this article are from decades ago. It feels like denotational semantics has not become the success is claimed to be. I studied the book: 'The Denotational Description of Programming Languages: An Introduction' by Michael J. C. Gordon from 1979 while studying computer science in the eighties.<p>One of the references in the article, is a reference to the book: 'Denotational Semantics: A Methodology for Language Development' <a href="https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/DenSem-full-book.pdf" rel="nofollow">https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/D...</a>