Least fixed point of a functor (1979)

by J Adámek, V Koubek
Venue:Journal of Computer and System Sciences