1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/references.bib	Fri Aug 31 20:02:40 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/references.bib	Mon Sep 03 20:51:44 2012 +0200
     1.3 @@ -140,3 +140,57 @@
     1.4    isbn      = {978-3-540-73083-5},
     1.5    bibsource = {DBLP, http://dblp.uni-trier.de}
     1.6  }
     1.7 +
     1.8 +@InProceedings{gdaroczy-EP-13,
     1.9 +  author = 	 {Gabriella Dar\'{o}czy and Walther Neuper},
    1.10 +  title = 	 {Exploitation of ``Next-Step-Guidance'' in a {TP}-based Math Assistant},
    1.11 +  OPTpages = 	 {TODO-TODO},
    1.12 +  crossref =  {eduTPS-12}
    1.13 +}
    1.14 +
    1.15 +
    1.16 +@Proceedings{eduTPS-12,
    1.17 +  title = 	 {Theorem-Prover based Systems for Education (eduTPS)},
    1.18 +  year = 	 {2013},
    1.19 +  OPTkey = 	 {},
    1.20 +  OPTbooktitle = {},
    1.21 +  OPTeditor = 	 {},
    1.22 +  OPTvolume = 	 {},
    1.23 +  OPTnumber = 	 {},
    1.24 +  OPTseries = 	 {},
    1.25 +  OPTaddress = 	 {},
    1.26 +  OPTmonth = 	 {},
    1.27 +  OPTorganization = {},
    1.28 +  publisher = {The Electronic Journal of Mathematics and Technology},
    1.29 +  note = 	 {to appear},
    1.30 +  OPTannote = 	 {}
    1.31 +}
    1.32 +
    1.33 +@Misc{nipkow-prog-prove,
    1.34 +  author = 	 {Nipkow, Tobias},
    1.35 +  title = 	 {Programming and Proving in {Isabelle/HOL}},
    1.36 +  howpublished = {contained in the Isabelle distribution},
    1.37 +  month = 	 {May 22},
    1.38 +  year = 	 {2012}
    1.39 +}
    1.40 +
    1.41 +@Book{pl:hind97,
    1.42 +  author = 	 {J. Roger Hindley},
    1.43 +  title = 	 {Basic Simple Type Theory},
    1.44 +  publisher = 	 {Cambridge University Press},
    1.45 +  year = 	 1997,
    1.46 +  editor =	 {S. Abramsky and P. H. Aczel and others},
    1.47 +  number =	 42,
    1.48 +  series =	 {Cambridge Tracts in Theoretical Computer Science},
    1.49 +  address =	 {Cambridge},
    1.50 +  annote =	 {97bok308}
    1.51 +}
    1.52 +
    1.53 +@Article{Milner-78,
    1.54 +  author = 	 {Milner, R.},
    1.55 +  title = 	 {A Theory of Type Polymorphism in Programming},
    1.56 +  journal = 	 {Journal of Computer and System Science (JCSS)},
    1.57 +  year = 	 {1978},
    1.58 +  number = 	 {17},
    1.59 +  pages = 	 {348-374}
    1.60 +}