I always thought it came from the well-known 'Purely Functional Data Structures' by Chris Okasaki.