1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Tue Sep 11 22:27:50 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Wed Sep 12 17:38:44 2012 +0200
     1.3 @@ -1,3 +1,11 @@
     1.4 +@book{nipk:rew-all-that,
     1.5 +        title={Term rewriting and all that}, 
     1.6 +        author={Baader, Franz and Nipkow, Tobias },
     1.7 +        publisher={Cambridge University Press},year={1998}, 
     1.8 +	volume={},series={},address={},edition={},month={}, 
     1.9 +	note={},status={},source={},location={IST} 
    1.10 +        }
    1.11 +
    1.12  @Misc{jrocnik-bakk,
    1.13    author = 	 {Jan Rocnik},
    1.14    title = 	 {Interactive Course Material for Signal Processing based on Isabelle/{\isac}},