Published version of composing programs textbook