Formal mathematics is nature's way of letting you know how sloppy your mathematics is.
Specifying Systems: The Tla+ Language and Tools for Hardware and Software EngineersWhere some see a new world disorder, others see the opportunity to bring organization.
What Would Google Do?: Reverse-Engineering the Fastest Growing Company in the History of the World