Program specialization - Marlet, Renaud. (John Wiley & Sons, Inc., 2013)