アルゴリズムに関する厳密な本

私はアルゴリズムクラスを完全に楽しんだが、厳格さに欠けていると感じた。ほとんどの場合、提示されたアルゴリズムが機能する理由と、提示された時間の複雑さがなぜあるのかを直感的に理解できましたが、そのようなことを証明したいと思います。そのため、多くの一般的なアルゴリズムについて説明し、アルゴリズムの正確さと時間の複雑さを証明することに焦点を当てた本が欲しいです。何か良い推奨事項はありますか？

注：この回答を編集して追加してください。新しい回答は作成しないでください

厳格な本：

クヌースによる コンピュータプログラミングの芸術

ダイクストラによるプログラミングの分野

Cormen、Leiserson、Rivest、およびSteinによるアルゴリズムの紹介

セッジウィックとウェインによるアルゴリズム

アルゴリズムとデータ構造上の博士ドッブのエッセンシャルブックス
これも含みintroduction to algorithms

アルゴリズム+データ構造= Wirthによるプログラムとそのフォローアップ：
アルゴリズムとデータ構造

グリーズによるプログラミングの科学と同じ著者による
離散数学への論理的アプローチ

Gusfieldによる文字列、ツリー、シーケンスのアルゴリズム

コンクリート数学： Graham、Knuth、およびPatashnikによるコンピュータサイエンスの基礎

AhoとUllmanによる解析、翻訳、コンパイルの理論（パートIおよびII）

Aho、Hopcroft、およびUllmanによるコンピュータアルゴリズムの設計と分析

オートマタの理論、言語、および計算の概要（ホップクロフトとウルマン）

もちろん、リストはかなり拡張することができます。
コンピュータサイエンスの分野が拡大するにつれて、本は追いつけなくなり、研究論文に目を向ける必要があることに注意してください。