Foundations of the theory of groupoids and groups - Boruvka O
Bibliography 203-209p