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