Decision Procedures: An Algorithmic Point of View, 2nd Edition By: Daniel Kroening, Ofer Strichman Read more
Handbook of Self-Defense in Pictures and Text: Law Enforcement Officers’ Manual of Offensive and Defensive Techniques By: John Martone Read more