Complete Guide to Shodan
John Matherly
Domain Modeling Made Functional
Scott Wlaschin
Hacker Monthly October 2010
Netizens Media
Hacker Monthly (5)
The Galaxy, and the Ground Within
Becky Chambers
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport