Merge pull request #11 from yfyf/mustard

Add possibly the most important reference
yfyf · Oct 29, 2013 · 9503b48 · 9503b48
2 parents 3c87cd9 + 4312901
commit 9503b48
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/report/literature.bib b/report/literature.bib
@@ -152,3 +152,12 @@ @INPROCEEDINGS{pow-thie
  publisher = {Springer-Verlag},
  address = {London, UK, UK},
 }
+@prepublished{mustard,
+ author = {Yann-Joachim Ringard},
+ title = {Mustard watches: an integrated approach to time and food},
+ year = {1990},
+ numpages = {4},
+ url = {http://iml.univ-mrs.fr/~girard/mustard/titre.html},
+ publisher = {Équipe de Logique Mathématique},
+ address = {Paris, France}
+}
diff --git a/report/report.tex b/report/report.tex
@@ -62,6 +62,7 @@ \chapter{Modelling Computation in Theory and Practice}
 \chapter{Categorical semantics of arrows (?)}
     \input{chapters/cat-arrows-hist}
 
+\nocite{mustard}
 \printbibliography
 
 \end{document}