["CONSTRAINTS: A Language for Expressing Almost-Hierarchical

Descriptions", G.J. Sussman et al, Artif Intell 14(1):1-39

(Aug 1980)].