Set Structures
Derek Coleman · 1978
So far we have only considered the simple data structuring operations of forming records with or without variants. Although these operations are adequate for many problems they are, by themselves, incapable of expressing clearly the full range of abstractions that can occur in programming.