William S. Hatcher, A. Shafaat: Categorical languages for algebraic structures. Math. Log. Q. 21(1): 433-438 (1975)