Purely Functional 1-2 Brother Trees

From MaRDI portal
Publication:3648351