Programming Phoenix ≥ 1.4 (for Correl Roush)
Chris McCord, Bruce Tate, José Valim
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Living With Crossdressing: Defining a New Normal
Savannah Hauk
Jingo
Pratchett, Terry
Discworld (21)
A Finely Tuned Piece
Sephulbadis