https://9pdf.info/document/qo5gj7gm-foundations-of-the-theory-of-groupoids-and-groups.html