Title: Algebraic theories
First published: 1975