Jeannin J-B, Kozen D, Silva A.? 2013.??Language Constructs for Non-Well-Founded Computations. 22nd European Symposium on Programming - ESOP. 7792:61?80.