1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/root.bib	Sun Apr 04 13:31:04 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/root.bib	Tue Apr 06 15:52:27 2021 +0200
     1.3 @@ -1,8 +1,40 @@
     1.4  @TechReport{isac:all,
     1.5    author = 	 {\isac{}- Team},
     1.6 -  title = 	 {\isac{} -- User Requirements Document},
     1.7 -  institution =  {Institute for Softwaretechnology, 
     1.8 -                  University of Technology},
     1.9 +  title = 	 {\isac{} -- User Requirements Document, Software Requirements Document,
    1.10 +    Architectural Design Document, Software Design Document, Use Cases, Test Cases},
    1.11 +  institution =  {Institute for Softwaretechnology, University of Technology},
    1.12    year = 	 {2002},
    1.13 -  note = 	 {\url{https://static.miraheze.org/isacwiki/TODO/URD.pdf}}
    1.14 +  note = 	 {\url{https://static.miraheze.org/isacwiki/0/04/Isac-docu.pdf}}
    1.15  }
    1.16 +@TECHREPORT{Back-SD09,
    1.17 +  author = {Back, Ralph-Johan},
    1.18 +  title = {Structured Derivations as a Unified Proof Style for Teaching Mathematics},
    1.19 +  institution = {TUCS - Turku Centre for Computer Science},
    1.20 +  year = {2009},
    1.21 +  type = {TUCS Technical Report},
    1.22 +  number = {949},
    1.23 +  address = {Turku, Finland},
    1.24 +  month = {July}
    1.25 +}
    1.26 +@Book{gries,
    1.27 +  author = 	 {Gries, David},
    1.28 +  title = 	 {The science of programming},
    1.29 +  publisher = 	 {Springer-Verlag},
    1.30 +  year = 	 {1981},
    1.31 +  series = 	 {Texts and monographs in computer science}
    1.32 +}
    1.33 +@Inproceedings{EPTCS-wn-20,
    1.34 +  author    = {Neuper, Walther},
    1.35 +  year      = {2020},
    1.36 +  title     = {Lucas-Interpretation on Isabelle's Functions},
    1.37 +  editor    = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao},
    1.38 +  booktitle = {{\rm Proceedings 9th International Workshop on}
    1.39 +               Theorem Proving Components for Educational Software,
    1.40 +               {\rm Paris, France, 29th June 2020}},
    1.41 +  series    = {Electronic Proceedings in Theoretical Computer Science},
    1.42 +  volume    = {328},
    1.43 +  publisher = {Open Publishing Association},
    1.44 +  pages     = {79-95},
    1.45 +  doi       = {10.4204/EPTCS.328.5},
    1.46 +  note      = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?thedu2020.5}}
    1.47 +}