diff --git a/design/tpl/.gitignore b/design/tpl/.gitignore
index 40f3ab0e..5bca4bd4 100644
--- a/design/tpl/.gitignore
+++ b/design/tpl/.gitignore
@@ -11,6 +11,12 @@
 *.out
 *.toc
 
+# BibLaTeX
+*.bbl
+*.bcf
+*.blg
+*.run.xml
+
 # Index
 *.idx
 *.ilg
diff --git a/design/tpl/Makefile b/design/tpl/Makefile
index 7e72363f..a7b570fc 100644
--- a/design/tpl/Makefile
+++ b/design/tpl/Makefile
@@ -1,5 +1,5 @@
 
-inputs := tpl.tex tpl.sty \
+inputs := tpl.tex tpl.sty tpl.bib \
           $(wildcard sec/*.tex)
 
 
diff --git a/design/tpl/README.md b/design/tpl/README.md
index 3af84944..bef80d8f 100644
--- a/design/tpl/README.md
+++ b/design/tpl/README.md
@@ -10,8 +10,9 @@ sufficient to install all necessary dependencies:
 
 ```
 $ apt install --no-recommends \
-    make latexmk \
-    texlive-latex-extra texlive-fonts-extra texlive-science
+    make latexmk biber \
+    texlive-latex-extra texlive-fonts-extra texlive-bibtex-extra \
+    texlive-science
 ```
 
 ## Building
diff --git a/design/tpl/sec/class.tex b/design/tpl/sec/class.tex
index 6209c3ff..a6a8c38e 100644
--- a/design/tpl/sec/class.tex
+++ b/design/tpl/sec/class.tex
@@ -632,8 +632,8 @@ We therefore establish a relationship to the notation of linear algebra
 \begin{remark}[Logical Connectives With Matrix Notation]
   From the definition of \axmref{class-mat-not},
     it should be clear that the logical connective $\monoidop$ necessarily
-    acts like a Hadamard product with respect to how individual elements are
-    combined.
+    acts like a Hadamard product\cite{wp:hadamard-product} with respect to
+    how individual elements are combined.
 \end{remark}
 
 \index{classification!intuition}
diff --git a/design/tpl/sec/notation.tex b/design/tpl/sec/notation.tex
index 928c700a..d2dc8740 100644
--- a/design/tpl/sec/notation.tex
+++ b/design/tpl/sec/notation.tex
@@ -555,10 +555,10 @@ When $\len{K[J]}=1$
 \end{equation}
 We may optionally omit the domains as in the vector notation.
 
-\indexsym\undef{undefined}
+\indexsym\eleundef{undefined}
 \index{undefined}
 If a matrix is \emph{not} rectangular,
-  the symbol~$\undef$ can be used to explicitly denote that specific scalar
+  the symbol~$\eleundef$ can be used to explicitly denote that specific scalar
     values are undefined;
     this is useful when the matrix representation is desirable when
       describing the transformation of non-rectangular data \emph{into}
@@ -568,8 +568,8 @@ For example,
 \begin{equation}
   \begin{bmatrix}
     0 & 1 & 2 \\
-    3 & 4 & \undef \\
-    5 & \undef & \undef
+    3 & 4 & \eleundef \\
+    5 & \eleundef & \eleundef
   \end{bmatrix}_{\underset{k\in K_j}{j\in J}}
   =
   \Vector{\Vector{0,1,2},\Vector{3,4},\Vector{5}},
diff --git a/design/tpl/tpl.bib b/design/tpl/tpl.bib
new file mode 100644
index 00000000..fb5b6ef2
--- /dev/null
+++ b/design/tpl/tpl.bib
@@ -0,0 +1,8 @@
+% TAME Programming Language Bibliography
+
+@online{wp:hadamard-product,
+  organization = {Wikipedia},
+  title =        {Hadamard product (matrices)},
+  url =          {https://en.wikipedia.org/wiki/Hadamard_product_(matrices)},
+  date =         {2020-05-26},
+}
diff --git a/design/tpl/tpl.sty b/design/tpl/tpl.sty
index 3c249739..52c14655 100644
--- a/design/tpl/tpl.sty
+++ b/design/tpl/tpl.sty
@@ -13,8 +13,11 @@
 \usepackage[amsfonts,amssymb]{concmath}  % Fonts used by the text
 \usepackage{euler}                       %   Concrete Mathematics
 \usepackage{makeidx}                     % Indexing
+\usepackage[backend=biber]{biblatex}     % BibTeX replacement
 \usepackage[colorlinks=true,
             linkcolor=href,
+            citecolor=cite,
+            urlcolor=href,
             draft=false]{hyperref}       % Hyperlinks (even in draft mode)
 \usepackage{xcolor}                      % Colors (for hyperlinks)
 \usepackage{amsmath,amsthm}              % AMS macros, including theorems
@@ -24,6 +27,8 @@
 \usepackage{manfnt}                      % Dangerous Bend symbols
 \usepackage{rotating}                    % Rotating objects
 
+\addbibresource{tpl.bib}
+
 
 
 %%
@@ -32,6 +37,7 @@
 % Colors from Tango Icon Theme
 % https://en.wikipedia.org/wiki/Tango_Desktop_Project
 \definecolor{href}{HTML}{204a87}
+\definecolor{cite}{HTML}{4e9a06}
 
 
 
@@ -89,7 +95,7 @@
 \newcommand\MFam[5]{\ensuremath{%
   \Vector{{#1_{#2}}_#4}_{\underset{#4\in {#5_#2}}{#2\in #3}}
 }}
-\newcommand\undef{\boxtimes}
+\newcommand\eleundef{\boxtimes}
 
 % Variable subscripts
 \let\varsubscript\imath
diff --git a/design/tpl/tpl.tex b/design/tpl/tpl.tex
index f8cde148..cce05130 100644
--- a/design/tpl/tpl.tex
+++ b/design/tpl/tpl.tex
@@ -65,8 +65,11 @@
  \input{sec/appendix-typesetting.tex}
 \fi
 
-% Ensure Copyright line does not show for Index
+% Ensure Copyright line does not show
 \cfoot[\thepage]{\thepage}
+
+\printbibliography[heading=bibintoc]
+
 \clearpage
 \printindex