1. Birkhoff, G.,Lattice Theory, Amer. Math. Soc. Colloq., 1954.
2. Chan, M. W. and K. P. Shum,Homomorphisms of Implicative Semigroups, Semigroup Forum46 (1993), 7–15.
3. Curry, H. B.,Foundations of Mathematical Logic, McGraw-Hill, New York, 1963.
4. Iséki, K.,A Special Class of BCK-algebras, Math. Seminar Notes5 (1977), 191–198.
5. Iséki, K.,BCK-algebras with Condition (S), Math. Japon.24 (1979), 107–119.