Chris Okasaki – Purely Functional Data StructuresNovember 30, 2020https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf