Mort
Pratchett, Terry
Discworld (4)
A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
Categories for the Working Mathematician
Saunders Mac Lane
Monads for functional programming
Philip Wadler
The Sad Bastard Cookbook: Food You Can Make So You Don't Die
Rachel A. Rosen & Zilla Novikov