Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Legend Of Koizumi 80
Unknown
The Legend Of Koizumi 56
The Definitive Guide to Drupal 7
Benjamin Melançon, Jacine Luisi, Károly Négyesi, Greg Anderson, ... & Forest Mars & contributions from George Cassie, Mike Ryan, Nathaniel Catchpole & Dmitri Gaskin
Chokepoint Capitalism: How to Beat Big Tech, Tame Big Content, ...
Rebecca Giblin & Cory Doctorow