Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
He Who Fights with Monsters 4: A LitRPG Adventure
Shirtaloon & Travis Deverell
He Who Fights With Monsters (4)
A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
The Door Into Summer
Heinlein, Robert A.
Cruise Control: Understanding Sex Addiction in Gay Men
Robert Weiss