Logic And Integer Programming door H.P. Williams & H. Paul Williams