G. Birkhoff, and J.D. Lipson (1970): Heterogeneous Algebras, Journal of Combinatorial Theory
Volume 8, Issue 1, January 1970, Pages 115-133, https://core.ac.uk/download/pdf/82518891.pdf