Jeannin J-B, Kozen D, Silva A.? 2012.??Language constructs for non-well-founded computation. :1-12.