Decision procedures an algorithmic point of view - Kroening, Daniel; Strichman, Ofer (Springer, 2008)
Auch als Internetausgabe