Chris Okasaki Functional Data Structures. 131-158 1996 conf/afp/1996 Advanced Functional Programming db/conf/afp/afp1996.html#Okasaki96