- The Pattern on the Stone - Hills
- Code - Petzold
- Haskell Programming From First Principles
- Parallel and Concurrent Programming in Haskell
- Software Foundations
- The Idris Tutorial
- Functional C
- Understanding and Using C Pointers
- Elements of Programming
- Build Your Own Lisp
- Engineering a Compiler
- Programming Language Pragmatics
- Practical Foundations for Programming Languages
- Structured Computer Organization
- Operating Systems in Three Easy Pieces
- Operating Systems Design and Implementation
- Computer Networks - Tanenbaum
- A Book of Abstract Algebra
- A First Course in Graph Theory
- Conceptual Mathematics
- Category Theory for Programmers
- Introduction to Lattices and Order
- Concrete Mathematics
- The Reasoned Schemer
- Database Design and Relational Theory: Normal Forms and All That Jazz
- Algorithmics: The Spirit of Computing
- Grokking Algorithms
- Algorithms and Data Structures - Wirth
- Purely Functional Data Structures
- Pearls of Functional Algorithm Design
- The Algorithm Design Manual
- Clever Algorithms
- The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities
- Data Hiding: Exposing Concealed Data in Multimedia, Operating Systems, Mobile Devices, and Network Protocols
- Crypto 101
- Patterns, Principles, and Practices of Domain-Driven Design
- Clean Code: A Handbook of Agile Software Craftsmanship