Pardo, Fernandes, Saraiva, 2011. Shortcut fusion rules for the derivation of circular and higher-order programs 24.. https://doi.org/10.1007/s10990-011-9076-x