[1] HU, QING PING-LI, XIN: On BCH-algebras. Math. Semin. Notes, Kobe Univ. 11 (1983), 313-320. MR 0769036

[2] HU, QING PING-LI, XIN: On proper BCH-algebras. Math. Japon. 30 (1985), 659-661. MR 0812016

[3] ISÉKI K.-TANAKA S.: An introduction to theory of BCK-algebras. Math. Japon. 23 (1978), 1-26. MR 0500283

[4] ISÉKI K.: On BCI-algebras. Math. Semin. Notes, Kobe Univ. 8 (1980), 125-130. MR 0590171 | Zbl 0473.03059

[5] MENG J.: Implicative commutative semigroups are equivalent to a class of BCK -algebras. Semigroup Forum 50 (1995), 89-96. MR 1301553 | Zbl 0807.06011

[6] MUNDICI D.: MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Japon. 31 (1986), 889-894. MR 0870978 | Zbl 0633.03066