The generic approximation lemma (2001)

by Graham Hutton, Jeremy Gibbons
Venue:Information Processing Letters