Bibliography: publisher in Okasaki's Purely Functional Data Structures.