Jirí Adámek Stefan Milius Jiri Velebil Semantics of Higher-Order Recursion Schemes. 49-63 2009 CALCO http://dx.doi.org/10.1007/978-3-642-03741-2_5 conf/calco/2009 db/conf/calco/calco2009.html#AdamekMV09