Theorem Proving and Algebra (1994)

by Joseph Goguen