Haskell Programming from first principles
Chris Allen & Julie Moronuki
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
ILC2014 summary
Unknown
The AI Con
Emily M. Bender
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport