A survey of higher-order algebra (1995)

by Karl Meinke