Text this: Higher-Order Systems edited by Federico Battiston, Giovanni Petri. [electronic resource] /