Zeilberger, D. “How Berger, Felzenbaum and Fraenkel Revolutionized Covering Systems the Same Way That George Boole Revolutionized Logic”. The Electronic Journal of Combinatorics, Vol. 8, no. 2, Apr. 2000, p. A1, doi:10.37236/1617.