Antoniou - Practical Optimization - Algorithms and Engineering Applications (Springer, 2007) & Allen - Software Security Engineering (AW, 2008).chm