Programming Language Foundations

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Arcanium Programming Foundations: A Security-Focused Language for Encrypted Logic Verifiable Execution and Safe Computing

Before the Code: The Science of Thinking Like a Programmer: 'Logical foundations required Before learning any programming Language'

The C++ programming language