Design specification for a list processing system