A provably efficient algorithm for dynamic storage allocation
design and analysis of algorithms for on-line dynamic storage allocation
scientific article; zbMATH DE number 4192849
scientific article