The theory of LISTS in LCF - Giles, David A. (University <Edinburgh>, 1977)