1
by Van Hentenryck, Pascal
Published 1997
MIT Press