ZEILBERGER, D. How Berger, Felzenbaum and Fraenkel Revolutionized Covering Systems the Same Way that George Boole Revolutionized Logic. The Electronic Journal of Combinatorics, v. 8, n. 2, p. A1, 7 Apr. 2000.