1
by Graedel, T. E.
Published 2010
MIT Press