On the greatest fixed point of a set functor (1995)

by J Adámek, V Koubek
Venue:Theoretical Computer Science