diff --git a/build_support/catalog/catalog.am b/build_support/catalog/catalog.am
index cde07fd95a..19738b8178 100644
--- a/build_support/catalog/catalog.am
+++ b/build_support/catalog/catalog.am
@@ -1,4 +1,9 @@
 CATALOG_FILES = \
+	catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg \
+	catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg \
+	catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg \
+	catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg \
+	catalog/books/elkindsavaniwooldridge202X/fig9_5.efg \
 	catalog/books/myerson1991/fig2_1.efg \
 	catalog/books/myerson1991/fig4_2.efg \
 	catalog/books/shohamleytonbrown2008/fig5_1.efg \
diff --git a/build_support/catalog/catalog_hierarchy.yaml b/build_support/catalog/catalog_hierarchy.yaml
index fcc8eee97a..bd40e80d4b 100644
--- a/build_support/catalog/catalog_hierarchy.yaml
+++ b/build_support/catalog/catalog_hierarchy.yaml
@@ -16,6 +16,7 @@ labels:
   books/vonstengel2022: "von Stengel (2022) — Game Theory Basics"
   books/watson2013: "Watson (2013) — Strategy: An Introduction to Game Theory"
   books/shohamleytonbrown2008: "Shoham and Leyton-Brown (2008) — Multiagent Systems, Algorithmic, Game-Theoretic, and Logical Foundations"
+  books/elkindsavaniwooldridge202X: "Elkind, Savani, and Wooldridge (FORTHCOMING) — Computational Game Theory"
   journals/dcg/vonstengel1999: "von Stengel (1999)"
   journals/geb/gilboa1997: "Gilboa (1997)"
   journals/geb/wichardt2008: "Wichardt (2008)"
diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg
new file mode 100644
index 0000000000..d2f2724ff4
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg
@@ -0,0 +1,20 @@
+NFG 1 R "Example 4.21" { "1" "2" }
+
+{ { "T" "M" "B" }
+{ "L" "C" "R" }
+}
+"Example 4.21 from :cite:p:`ESW2X`, which is used as an example of Iterated Elimination of
+Dominated Strategies."
+
+{
+{ "" 4, 3 }
+{ "" 2, 1 }
+{ "" 3, 0 }
+{ "" 5, 1 }
+{ "" 8, 4 }
+{ "" 9, 6 }
+{ "" 6, 2 }
+{ "" 3, 6 }
+{ "" 2, 8 }
+}
+1 2 3 4 5 6 7 8 9
diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg
new file mode 100644
index 0000000000..d5c79a7290
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg
@@ -0,0 +1,20 @@
+NFG 1 R "Example 4.31" { "1" "2" }
+
+{ { "T" "M" "B" }
+{ "L" "C" "R" }
+}
+"Example 4.31 from :cite:p:`ESW2X`, which is used to show that myopic best responses may not
+converge, even if a pure Nash equilubrium exists in the game."
+
+{
+{ "" -1, 1 }
+{ "" 1, -1 }
+{ "" -2, -2 }
+{ "" 1, -1 }
+{ "" -1, 1 }
+{ "" -2, -2 }
+{ "" -2, -2 }
+{ "" -2, -2 }
+{ "" 2, 2 }
+}
+1 2 3 4 5 6 7 8 9
diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg
new file mode 100644
index 0000000000..58cec880b4
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg
@@ -0,0 +1,15 @@
+NFG 1 R "Example 4.4" { "1" "2" }
+
+{ { "1" "2" }
+{ "1" "2" }
+}
+"This is Example 4.4 from :cite:p:`ESW2X`, which is used as a running example to introduce
+normal-form games."
+
+{
+{ "" 1, 1 }
+{ "" 0, 0 }
+{ "" 1, 0 }
+{ "" 0, 1 }
+}
+1 2 3 4
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg b/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
new file mode 100644
index 0000000000..70b1a004cc
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
@@ -0,0 +1,15 @@
+NFG 1 R "Figure 5.1: Matching Pennies" { "1" "2" }
+
+{ { "1" "2" }
+{ "1" "2" }
+}
+"This is Figure 5.1 from :cite:p:`ESW2X`, the classic example of the zero-sum game
+Matching Pennies."
+
+{
+{ "" 1, -1 }
+{ "" -1, 1 }
+{ "" -1, 1 }
+{ "" 1, -1 }
+}
+1 2 3 4
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig9_5.efg b/catalog/books/elkindsavaniwooldridge202X/fig9_5.efg
new file mode 100644
index 0000000000..c1b8690f4a
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/fig9_5.efg
@@ -0,0 +1,11 @@
+EFG 2 R "Figure 9.5: A Simple Extensive Game" { "Player 1" "Player 2" }
+"Figure 9.5 from :cite:p:`ESW2X`, used as a running example of an extensive-form game
+with perfect information."
+
+p "" 1 1 "" { "L" "R" } 0
+p "" 2 1 "" { "l" "r" } 0
+t "" 1 "Outcome 1" { 4, 1 }
+t "" 2 "Outcome 2" { 0, 2 }
+p "" 2 2 "" { "l" "r" } 0
+t "" 3 "Outcome 3" { 3, 1 }
+t "" 4 "Outcome 4" { 1, 2 }
diff --git a/doc/references.bib b/doc/references.bib
index 1998c5ef4e..19efe6950d 100644
--- a/doc/references.bib
+++ b/doc/references.bib
@@ -454,3 +454,10 @@ @article{SvS06
   year  = {2006},
   category  = {articles_equilibria}
 }
+
+@book{ESW2X,
+  author    = {Elkind, E. and Savani, R. and Wooldridge, M.},
+  title     = {Computational Game Theory},
+  year      = {2027},
+  category  = {textbooks}
+}