Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Hacker Monthly #39
Netizens Media
Hacker Monthly (39)
The Legend Of Koizumi 20
Unknown
F# for Fun and Profit
swlaschin
Skywalkers
LadyKarai