Three extra classics: * https://books.google.es/books?id=YseqCAAAQBAJ https://books.google.es/books?id=YseqCAAAQBAJ * http://www.concrete-semantics.org/ http:

Three extra classics: * https://books.google.es/books?id=YseqCAAAQBAJ https://books.google.es/books?id=YseqCAAAQBAJ * http://www.concrete-semantics.org/ http://www.concrete-semantics.org/ * https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/