1
by Van Hentenryck, Pascal
Published 2006
MIT Press