@TechReport{isac:all,

   author = 	 {\isac{}- Team},

   title = 	 {\isac{} -- User Requirements Document, Software Requirements Document,

     Architectural Design Document, Software Design Document, Use Cases, Test Cases},

   institution =  {Institute for Softwaretechnology, University of Technology},

   year = 	 {2002},

   note = 	 {\url{https://static.miraheze.org/isacwiki/0/04/Isac-docu.pdf}}

 }

 @TECHREPORT{Back-SD09,

   author = {Back, Ralph-Johan},

   title = {Structured Derivations as a Unified Proof Style for Teaching Mathematics},

   institution = {TUCS - Turku Centre for Computer Science},

   year = {2009},

   type = {TUCS Technical Report},

   number = {949},

   address = {Turku, Finland},

   month = {July}

 }

 @Book{gries,

   author = 	 {Gries, David},

   title = 	 {The science of programming},

   publisher = 	 {Springer-Verlag},

   year = 	 {1981},

   series = 	 {Texts and monographs in computer science}

 }

 @Inproceedings{EPTCS-wn-20,

   author    = {Neuper, Walther},

   year      = {2020},

   title     = {Lucas-Interpretation on Isabelle's Functions},

   editor    = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao},

   booktitle = {{\rm Proceedings 9th International Workshop on}

                Theorem Proving Components for Educational Software,

                {\rm Paris, France, 29th June 2020}},

   series    = {Electronic Proceedings in Theoretical Computer Science},

   volume    = {328},

   publisher = {Open Publishing Association},

   pages     = {79-95},

   doi       = {10.4204/EPTCS.328.5},

   note      = {\url{http://eptcs.web.cse.unsw.edu.au/paper.cgi?thedu2020.5}}

 }