1.1 --- a/src/Tools/isac/Doc/Lucas_Interpreter/document/root.bib	Wed Feb 03 15:21:12 2021 +0100
     1.2 +++ b/src/Tools/isac/Doc/Lucas_Interpreter/document/root.bib	Wed Feb 03 16:39:44 2021 +0100
     1.3 @@ -165,7 +165,7 @@
     1.4  @InCollection{pl:formal-lang-hist,
     1.5    author = 	 {Lucas, Peter},
     1.6    title = 	 {On the Formalization of Programming Languages: Early History and Main Approaches},
     1.7 -  booktitle = 	 {The Vienna Development Method: The Meta-Language},
     1.8 +  booktitle = 	 {The Vienna Development MethodC: The Meta-Language},
     1.9    publisher = {Springer},
    1.10    year = 	 {1978},
    1.11    editor = 	 {D. Bj{\o}rner and C. B. Jones},