Merge pull request #539 from jamesray1/patch-104

\cite{Keccak}

Biblio.bib

@@ -1,3 +1,15 @@
+@misc{Keccak,
+	url = "https://keccak.team/keccak.html",
+	note = "Accessed 6 October 2017. Unable to be archived by the Wayback Machine.",
+	author = "Guido Bertoni
+and Joan Daemen
+and Michaël Peeters
+and Gilles Van Assche
+and Ronny Van Keer",
+	title = {{KECCAK}},
+	year = "2017",
+}
+
 @Book{Davey2002_zbMATH01748069,
     Author = "B.A. {Davey} and H.A. {Priestley}",
     Title = "Introduction to lattices and order. 2nd ed.",

Paper.tex

@@ -177,7 +177,7 @@ \section{Conventions}\label{ch:conventions}
 
 Functions operating on highly structured values are denoted with an upper-case Greek letter, \eg \hyperlink{Upsilon_state_transition}{$\Upsilon$}, the Ethereum state transition function.
 
-For most functions, an uppercase letter is used, e.g. $C$, the general cost function. These may be subscripted to denote specialised variants, \eg \hyperlink{C__SSTORE}{$C_\text{SSTORE}$}, the cost function for the \hyperlink{SSTORE}{{\tiny SSTORE}} operation. For specialised and possibly externally defined functions, we may format as typewriter text, \eg the Keccak-256 hash function (as per the winning entry to the SHA-3 contest) is denoted $\texttt{KEC}$ (and generally referred to as plain Keccak). Also $\texttt{KEC512}$ is referring to the Keccak 512 hash function.
+For most functions, an uppercase letter is used, e.g. $C$, the general cost function. These may be subscripted to denote specialised variants, \eg \hyperlink{C__SSTORE}{$C_\text{SSTORE}$}, the cost function for the \hyperlink{SSTORE}{{\tiny SSTORE}} operation. For specialised and possibly externally defined functions, we may format as typewriter text, \eg the Keccak-256 hash function (as per the winning entry to the SHA-3 contest by \cite{Keccak}, rather than later releases), is denoted $\texttt{KEC}$ (and generally referred to as plain Keccak). Also $\texttt{KEC512}$ is referring to the Keccak 512 hash function.
 
 Tuples are typically denoted with an upper-case letter, \eg $T$, is used to denote an Ethereum transaction. This symbol may, if accordingly defined, be subscripted to refer to an individual component, \eg \hyperlink{transaction_nonce}{$T_{\mathrm{n}}$}, denotes the nonce of said transaction. The form of the subscript is used to denote its type; \eg uppercase subscripts refer to tuples with subscriptable components.