Harold Boley: Finite Domains and Exclusions as First-Class Citizens. ELP 1993: 37-61