Andrea Corradini Frank Hermann Pawel Sobocinski Subobject Transformation Systems. 389-419 2008 16 Applied Categorical Structures 3 http://dx.doi.org/10.1007/s10485-008-9127-6 db/journals/acs/acs16.html#CorradiniHS08