Integer Linear Programming in Computational and Systems Biology by Gusfield & Dan University of California & Davis