From f54582dbbed373ae54e9e1ff3fd661a19cb181d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Tue, 29 Aug 2017 10:46:13 +0200
Subject: [PATCH] Another few fixes

---
 common/refs.bib   | 7 +++++++
 report/report.tex | 7 ++++---
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/common/refs.bib b/common/refs.bib
index d400e0c..215caf0 100644
--- a/common/refs.bib
+++ b/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.}
+}
+
diff --git a/report/report.tex b/report/report.tex
index f032a30..9532431 100644
--- a/report/report.tex
+++ b/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}