D. C. Van Leijenhorst, Theo P. van der Weide. A formal derivation of Heaps Law. Inf. Sci., 170(2-4):263-272, 2005. [doi]
@article{LeijenhorstW05, title = {A formal derivation of Heaps Law}, author = {D. C. Van Leijenhorst and Theo P. van der Weide}, year = {2005}, doi = {10.1016/j.ins.2004.03.006}, url = {http://dx.doi.org/10.1016/j.ins.2004.03.006}, tags = {C++}, researchr = {https://researchr.org/publication/LeijenhorstW05}, cites = {0}, citedby = {0}, journal = {Inf. Sci.}, volume = {170}, number = {2-4}, pages = {263-272}, }