@book{24553,
	title = {Thesis:Formalization of Asymptotic Notation in Higher-Order-Logic}
}