Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata: Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. ICFP-WGP 2010: 97-108