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