Variations on algebra: Monadicity and generalizations of equational theories, Formal Aspects of Computing 13 (2002)

by E Robinson