Pardo A, Fernandes JP, Saraiva JA.? 2011.??Shortcut fusion rules for the derivation of circular and higher-order programs. Higher-Order and Symbolic Computation. 24:115-149.