Books — inverse programming