On metric groupoids and their completions Conkling, Randall; Ellis, David — 1953 Portugaliae mathematica