Specification of Lists

Choice of primitive operations determines:

Requirements