Vol. 1252 Hall, J. I. Moufang loops and groups with triality are essentially the same thing QA174.2 H345
