Foundation of the theory of groupoids and groups. - Boruvka O (1976)