X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=clash.bib;h=012a67a13dc909f2a3267a6d1fdea72f20177991;hp=5bec9134a33a3a08bd425c90fc44a42b8b97752d;hb=d280c4d33c3b3c8395e65a4e2a6099b5cf69024f;hpb=abecfadf45aab74c21700d5ed8889e3c0b168f28

diff --git a/clash.bib b/clash.bib
index 5bec913..012a67a 100644
--- a/clash.bib
+++ b/clash.bib
@@ -106,6 +106,18 @@
   timestamp = {2010.01.21}
 }
 
+@BOOK{lambdacalculus,
+  title = {{The Lambda Calculus: its Syntax and Semantics}},
+  publisher = {{Elsevier Science}},
+  year = {1984},
+  author = {{H.P. Barendregt}},
+  volume = {103},
+  series = {{Studies in Logic and the Foundations of Mathematics}},
+  edition = {{Revised}},
+  owner = {baaijcpr},
+  timestamp = {2010.03.02}
+}
+
 @INPROCEEDINGS{DAISY,
   author = {Johnson, Steven D.},
   title = {Applicative programming and digital design},
@@ -138,6 +150,17 @@
   timestamp = {2010.01.20}
 }
 
+@MASTERSTHESIS{HML3,
+  author = {Yanbing Li},
+  title = {{HML: An Innovative Hardware Description Language and Its Translation
+	to VHDL}},
+  school = {Cornell University},
+  year = {1995},
+  month = {August},
+  owner = {baaijcpr},
+  timestamp = {2010.03.08}
+}
+
 @ARTICLE{HML2,
   author = {Yanbing Li and Leeser, M.},
   title = {{HML, a novel hardware description language and its translation to