add Okasaki's paper to the repo