Title: Syntax and Semantics of Petri Nets, Author: Roberto Gorrieri
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: The OOP Playbook: Strategies for Modern Developers, Author: Suchita Sharma
Title: Beginner's Step-by-Step Coding Course: Learn Computer Programming the Easy Way, Author: DK
Title: >CLI: A Practical Guide to Creating Modern Command-Line Interfaces, Author: Derick Schaefer