1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Wed Sep 12 17:38:44 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Wed Sep 12 21:14:15 2012 +0200
     1.3 @@ -1,3 +1,12 @@
     1.4 +@Book{pl:milner97,
     1.5 +  author = 	 {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
     1.6 +  title = 	 {The Definition of Standard ML (Revised)},
     1.7 +  publisher = 	 {The MIT Press},
     1.8 +  year = 	 1997,
     1.9 +  address =	 {Cambridge, London},
    1.10 +  annote =	 {97bok375}
    1.11 +}
    1.12 +
    1.13  @book{nipk:rew-all-that,
    1.14          title={Term rewriting and all that}, 
    1.15          author={Baader, Franz and Nipkow, Tobias },