Functional Programming with Bananas, Lenses, Envelopes and Barbed ...
Erik Meijer, Maarten Fokkinga, Ross Paterson
Fifty Shades of Grey
E L James
Riichi | Mahjong Club
www.mahjongclub.com
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Dead and Alive
Dean R. Koontz