Boys Run the Riot 1
Keito Gaku
Logic, Programming and Prolog (2ed)
Ulf Nilsson, Jan Maluszynski
Hacker Monthly November 2010
Netizens Media
Hacker Monthly (6)
Hacker Monthly March 2011
Hacker Monthly (10)
Higher-Order Perl: A Guide to Program Transformation
Mark Jason Dominus
Working Effectively With Legacy Code
Michael Feathers
Domain-Driven Design: Tackling Complexity in the Heart of Software
Eric Evans
Real World OCaml: Functional Programming for the Masses
Yaron Minsky & Anil Madhavapeddy & Jason Hickey
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport