A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
Category Theory for Computing Science
Michael Barr, Charles Wells
Yes, You are Trans Enough
Mia Violet
The Part-Time Parliament
Leslie Lamport
The Colour of Magic
Terry Pratchett