Howard Smith Jr.: Some Uses of Truncated Boolean Vectors in Analysis. APL 1990: 363