The Blade Itself
Joe Abercrombie
First Law World (1)
The Martian
Andy Weir
Ready Player One
Ernest Cline
Ready Player One (1)
Theorem Proving and Algebra
Joseph A. Goguen
VALIS
Philip K. Dick
VALIS Trilogy (1)