Prolog Programming in Depth
Michael A. Covington
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Pageboy
Elliot Page
The Legend Of Koizumi 28
Unknown
The Sad Bastard Cookbook: Food You Can Make So You Don't Die
Rachel A. Rosen & Zilla Novikov