C++ Template Metaprogramming: Concepts, Tools, and Techniques ...
David Abrahams & Aleksey Gurtovoy
Dake's Annotated Reference Bible: The Holy Bible Containing ...
Finis Jennings Dake
Bilateral Algorithms for Symbolic Abstraction - Paper
Aditya Thakur & Matt Elder & Thomas Reps
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
History and the Dialectic of Violence
Raymond Aron & B. Cooper
History: Fiction or Science?
Anatoly T. Fomenko