Manyebook
Mark Ryan
Logic in Computer Science
Justine Henin
One Horn to Rule Them All