Peter A. DiMaggio Jr., Christodoulos A. Floudas: Peptide Identification via Mixed-Integer Optimization. Encyclopedia of Optimization 2009: 2930-2938