Fernandes JP, Saraiva JA.? 2007.??Tools and libraries to model and manipulate circular programs. Workshop on  Partial Evaluation and Program Manipulation. :102-111.