Categorical languages for algebraic structures. - William S. Hatcher; A. Shafaat (Math. Log. Q., 1975)