[1]
J. A. Bergstra and J. V. Tucker, “Totalising Partial Algebras: Teams and Splinters”, Transmath, Mar. 2022.