Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic 
Nadeem Iqbal 
<br/><br/><label>ISBN: </label> Available