A Tenderfoot in Space
Robert A. Heinlein
How to Be an Anticapitalist in the Twenty-First Century
Erik Olin Wright
A Falsification View of Success Typing
Robert Jakob & Peter Thiemann
Science of Concurrent Programs
Leslie Lamport
Dance Dance Convolution
Chris Donahue, Zachary C. Lipton, Julian McAuley