Lutz. The Quantitative Structure of Exponential Time. Springer New York, 1997, doi:10.1007/978-1-4612-1872-2_10.