Program Induction, Complexity and Occam's Razor by John Woodward