An introduction to logic programming through Prolog
Michael Spivey
Starship Troopers
Robert A Heinlein
Detransition, Baby
Torrey Peters
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Software Architecture Patterns
Mark Richards