Polynomial Completeness In Algebraic Systems by Alden F. Pixley & Kalle Kaarli