[1] A. Drápal: Multiplication groups of free loops I. Czech. Math. J. 46(121) (1996), 121–131. MR 1371694

[2] T. Evans: On multiplicative systems defined by generators and relations  I. Normal form theorem, Proc. Cambridge Philos. Soc. 47 (1951), 637–649. DOI 10.1017/S0305004100027092 | MR 0043764 | Zbl 0043.02001

[3] T. Evans: Varieties of loops and quasigroups. Chapter I., Quasigroups and Loops. Theory and Applications, O. Chein, H. O. Pflugfelder and J. D. H. Smith (eds.), Heldermann Verlag, New York, 1990, pp. 1–26. MR 1125807 | Zbl 0721.20044

[4] T. Kepka and M. Niemenmaa: On conjugacy classes in finite loops. Bull. Austral. Math. Soc. 38 (1988), 171–176. DOI 10.1017/S000497270002743X | MR 0969906