Søren B. Lassen Andrew Moran Unique Fixed Point Induction for McCarthy's Amb. 198-208 1999 conf/mfcs/1999 MFCS db/conf/mfcs/mfcs99.html#LassenM99 http://dx.doi.org/10.1007/3-540-48340-3_18