Automatic program development : a tribute to Robert Paige (2008)