ISBN-13: 9781441928764, 978-1441928764. Yet there is still a lively contention between different approaches. Author(s): Doron A. Peled, E.M. Clarke.
eBay