Equational systems of functors
1967 ◽
pp. 92-109
◽