Fernandes JP, Saraiva JA, Seidel D, Voigtländer J.? 2011.??Strictification of circular programs. Workshop on  Partial Evaluation and Program Manipulation - PEPM. :131-140.