Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Science of Concurrent Programs
Hacker Monthly #34
Netizens Media
Hacker Monthly (34)
Escape from Camp 14
Blaine Harden
Elm in Action MEAP V03
Richard Feldman