Foundation Of Computation: Languages And Machines

Theory of Computation: A Simplified Foundational Approach to Automata, Languages, and Computability

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)

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