SzaƂasand Tyszkiewicz. On the Fixpoint Theory of Equality and Its Applications. Springer Berlin Heidelberg, 2006, doi:10.1007/11828563_26.