Another few fixes

common/refs.bib

@@ -114,3 +114,10 @@
   publisher={Springer}
 }
 
+@book{navabi1997vhdl,
+  title={VHDL: Analysis and modeling of digital systems},
+  author={Navabi, Zainalabedin},
+  year={1997},
+  publisher={McGraw-Hill, Inc.}
+}
+

report/report.tex

@@ -210,9 +210,10 @@ loading in memory only a part of the circuit, etc.).
 \emph{Isomatch} comes along with a small parser for a toy ad-hoc language,
 designed to allow one to quickly write a test circuit and run the
 \emph{isomatch} functions on it. There was no real apparent need for a better
-language, or a standard circuit description language (such as VSDL), since the
-user will mostly use \emph{isomatch} through fl, and feed it directly with data
-read from fl --- which is able to handle \eg{} VSDL\@.
+language, or a standard circuit description language (such as
+VHDL~\cite{navabi1997vhdl}), since the user will mostly use \emph{isomatch}
+through fl, and feed it directly with data read from fl --- which is able to
+handle \eg{} VHDL\@.
 
 \subsection{Codebases}