Coders at Work
Peter Seibel
Pro Git
Scott Chacon
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
yaku overview
R S
Dance Dance Convolution
Chris Donahue, Zachary C. Lipton, Julian McAuley