Shamos, Michael I. Property Enumerators and a Partial Sum Theorem Institute for Software Research Software Research 2011-01-01
    https://kilthub.cmu.edu/articles/journal_contribution/Property_Enumerators_and_a_Partial_Sum_Theorem/6625457
10.1184/R1/6625457.v1