Dynamic Bible
Peter Han
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Grounding and Shielding: Circuits and Interference
Ralph Morrison
An Architectural Approach to Level Design
Christopher W. Totten
Rework
Jason Fried & David Heinemeier Hansson