Science of Concurrent Programs
Leslie Lamport
Uzaku's Guide to Mahjong Tile Efficiency
G Uzaku
Why Functional Programming Matters
John Hughes
Confessions of a Former Bastard Cop
Officer A. Cab
Specifying Systems: The TLA+ Language and Tools for Hardware ...