From 9fa5ebe6eb1a711cf5e9e4b24d63f73fec37ac34 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Thu, 27 May 2021 13:15:30 +0100
Subject: [PATCH] Citation for the three state equations.

---
 thesis.bib | 12 ++++++++++++
 thesis.tex |  3 ++-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/thesis.bib b/thesis.bib
index 513595e..a27cdee 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -3693,4 +3693,16 @@
   pages     = {262--277},
   publisher = {Springer},
   year      = {2005}
+}
+
+# Three state equations
+@inproceedings{Mellies14,
+  author    = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
+  title     = {Local States in String Diagrams},
+  booktitle = {{RTA-TLCA}},
+  series    = {{LNCS}},
+  volume    = {8560},
+  pages     = {334--348},
+  publisher = {Springer},
+  year      = {2014}
 }
\ No newline at end of file
diff --git a/thesis.tex b/thesis.tex
index 9da5feb..e8d44b3 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -1169,7 +1169,8 @@ manipulating the state cell.
 
 The literature often presents the state monad with a fourth equation,
 which states that $\getF$ is idempotent. However, this equation is
-redundant as it is derivable from the first and third equations.
+redundant as it is derivable from the first and third
+equations~\cite{Mellies14}.
 
 We can implement a monadic variation of the $\incrEven$ function that
 uses the state monad to emulate manipulations of the state cell as