Fixpoint Theory - Upside Down.

Paolo Baldan, Richard Eggert, Barbara Knig, Tommaso Padoan

Browse the full FOSSACS paper archive.