Resources cited in this volume

[Aydemir 2008] Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich. Engineering Formal Metatheory. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco, California, pages 3-15. ACM, January 2008.
[Harper 2015] Practical Foundations for Programming Languages, by Robert Harper. Cambridge University Press. Second edition, 2016.
[Mitchell 1996] Foundations for Programming Languages, by John C. Mitchell. MIT Press, 1996.
[Nipkow 2014] Concrete Semantics with Isabelle/HOL, by Tobias Nipkow and Gerwin Klein. Springer 2014.
[Pierce 2002] Types and Programming Languages, by Benjamin C. Pierce. MIT Press, 2002.
[Pugh 1991] Pugh, William. "The Omega test: a fast and practical integer programming algorithm for dependence analysis." Proceedings of the 1991 ACM/IEEE conference on Supercomputing. ACM, 1991.
[Winskel 1993] The Formal Semantics of Programming Languages: An Introduction, by Glynn Winskel. MIT Press, 1993.