Zoran Petric G-dinaturality. 131-173 2003 122 Ann. Pure Appl. Logic 1-3 http://dx.doi.org/10.1016/S0168-0072(03)00003-4 db/journals/apal/apal122.html#Petric03