Music Theory for Musicians and Normal People
Toby W. Rush
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software ...
Paul Hudak & Mark Jones
Why Elm
Matthew Griffith
Assignment In Eternity
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer
Categories for the Working Mathematician
Saunders Mac Lane
The Manga Guide to Statistics
Shin Takahashi
Anathem
Neal Stephenson