1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Fri Nov 02 13:06:16 2012 +0100
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Fri Nov 02 18:06:54 2012 +0100
     1.3 @@ -1,3 +1,11 @@
     1.4 +@Misc{coq-team-10,
     1.5 +  author = 	 {Coq development team},
     1.6 +  title = 	 {Coq 8.3 Reference Manual},
     1.7 +  howpublished = {http://coq.inria.fr/reman},
     1.8 +  year = 	 {2010},
     1.9 +  note = 	 {INRIA}
    1.10 +}
    1.11 +
    1.12  @Book{db:dom-eng,
    1.13    author = 	 {Bj{\o}rner, Dines},
    1.14    title = 	 {Domain Engineering. Technology Management, Research and Engineering},