Interesting that How to Design Programs uses "first" and "rest" instead of the usual "car" and "cdr". They are synonyms of course, but it seems like a good decision for teaching the concepts, without needing to bring up historical context for otherwise meaningless names.