Comment by meneame2

Three extra classics:

* https://books.google.es/books?id=YseqCAAAQBAJ

* http://www.concrete-semantics.org/

* https://softwarefoundations.cis.upenn.edu/