Elm in Action MEAP V04
Richard Feldman
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Legend Of Koizumi 49
Unknown
Destination Moon
Robert A. Heinlein
The poverty of ethical AI: impact sourcing and AI supply chains
James Muldoon & Callum Cant & Mark Graham & Funda Ustek Spilda