diff --git a/appendix.tex b/appendix.tex
index 9b8e8ce3e680a504dddcf9cd5b8547ebc0970b5d..d5239d8663d3fae743c1f7d2c15d10eb1017f46c 100644
--- a/appendix.tex
+++ b/appendix.tex
@@ -17,3 +17,169 @@ also mit \texttt{\textbackslash section} Befehlen.
Die Verwendung von Unterabschnitten im Anhang
mittels \texttt{\textbackslash subsection}
funktioniert ebenfalls!
+
+\section{Bibliographie}%
+\label{app:sec:bib}
+
+Während ihrer Literatur-Recherche werden Sie vermutlich hauptsächlich auf vier Arten
+an Quellen stoßen, die Sie in der \verb|.bib|-Datei unterbringen:
+Konferenz-Artikel, Sammlungen an Kapiteln von mehreren Autoren, Journal-Artikel und Monographien.
+Manche Bibtex-Einträge (etwa von Google Scholar) enthalten nicht alle Informationen
+bzw. nicht im selben Format.
+
+\textbf{Wichtig: Eine saubere Bibliographie besteht aus vollständigen und einheitlichen Einträge!}
+
+Im Folgenden wird beschrieben, was Sie hier für eine möglichst saubere Literaturliste beachten sollten.
+
+\subsection{Konferenzartikel}
+
+In der Informatik wird die meiste Forschung auf Konferenzen vorgestellt.
+Hier reichen Autoren ihre Arbeiten ein, andere Forscher begutachten diese
+und anhand dessen werden die besten Arbeiten für Konferenzvorträge ausgewählt.
+In der Regel gibt es dazu Tagungsbände, die sogenannten \emph{Proceedings},
+in denen die vorgestellten Forschungsartikel gesammelt werden.
+
+\begin{figure}
+ \centering
+ \includegraphics[scale=.5]{fig/prob-springer.png}
+ \caption{Screenshot von \url{https://link.springer.com/chapter/10.1007/978-3-540-45236-2_46}}
+ \label{fig:prob-springer}
+\end{figure}
+
+Ein Beispiel ist der Artikel von Leuschel und Butler zu \textsc{ProB}~\cite{leuschel2003prob}.
+In \cref{fig:prob-springer} sind die wichtigen Informationen für den Bibtex-Eintrag zu finden,
+die Sie auf jeden Fall angeben sollten.
+Ein Beispiel für einen passenden Bibtex-Eintrag lautet wie folgt (hier wird der \verb|InProceedings|-Typ verwendet:
+
+\begin{verbatim}
+@InProceedings(leuschel2003prob,
+ Author = {Leuschel, Michael and Butler, Michael},
+ Title = {{ProB}: A Model Checker for {B}},
+ Year = 2003,
+ Month = sep,
+ Booktitle = {{FME} 2003: Formal Methods},
+ Series = {LNCS},
+ Volume = 2805,
+ Pages = {855--874},
+ Publisher = {Springer},
+ Address = {Berlin, Heidelberg}
+)
+\end{verbatim}
+
+\paragraph{Title, Author, Pages.} Diese Einträge sollten selbsterklärend sein.
+\paragraph{Booktitle.} Hier gibt es mehrere valide Möglichkeiten.
+Auf dem Buch selbst steht \enquote{FME 2003: Formal Methods}.
+Akzeptabel wären auch \enquote{Proceedings FME 2003},
+\enquote{Proceedings Formal Methods Europe (2003)},
+\enquote{International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings}
+oder Mischformen.
+Wichtig ist, dass erkenntlich ist, zu welcher Konferenz aus welchem Jahr der Tagungsband stammt.
+\paragraph{Year.} Leider erscheinen die Proceedings nicht unbedingt im selben Jahr wie die Konferenz selbst.
+Daher ist auch das Jahr der Veröffentlichung anzugeben.
+\paragraph{Series und Volume}. Proceedings vom Springer-Verlag erscheinen in der Regel in einer Reihe.
+Üblich sind die LNCS (Lecture Notes in Computer Science). Darin erhalten sie auch eine Nummer, um sie eindeutig zu identifizieren.
+Es gibt aber auch andere Reihen (z.B. LNAI oder CCIS); manchmal werden Tagungsbände auch mehreren Reihen zugeordnet.
+Andere Herausgeber haben keine solche Reihe --- dann fallen diese Einträge weg.
+\paragraph{Publisher.} Der Herausgeber der Proceedings.
+Die meisten Tagungsbände werden vom Springer-Verlag oder der ACM veröffentlicht.
+Hier gibt es auch mehrere valide Angaben (z.B. \enquote{Springer} bzw. \enquote{Springer-Verlag} oder \enquote{ACM} bzw. \enquote{Association for Computing Machinery}).
+Diese sollten in Ihrer Bibliographie einheitlich sein.
+
+
+
+\subsection{Sammelbände}
+
+Es gibt einige Sammlungen an Artikeln, die als thematisches Buch veröffentlicht werden,
+allerdings nicht aus einer Konferenz entstehen.
+Ein Beispiel ist die Festschrift zu Egon Börgers 75.\ Geburtstag.
+Darin findet man unter anderem den folgenden Artikel:
+
+\begin{verbatim}
+@InCollection(Leuschel2021,
+ Author = {Leuschel, Michael},
+ Title = {{Spot the Difference: A Detailed Comparison Between B and Event-B}},
+ Booktitle = {Logic, Computation and Rigorous Methods},
+ Publisher = {Springer},
+ Year = 2021,
+ Volume = 12750,
+ Series = {Lecture Notes in Computer Science},
+ Pages = {147--172}
+)
+\end{verbatim}
+
+Insgesamt ist dies sehr ähnlich zum Konferenzartikel; deshalb wird her nicht näher auf die einzelnen Schlüssel eingegangen.
+Auch dieses Buch wurde in der LNCS-Reihe veröffentlicht.
+
+\subsection{Journal-Artikel}
+
+Artikel in Journals werden in der Regel als hochwertiger als Konferenz-Artikel angesehen
+und sind daher als Quelle zu bevorzugen.
+Hier ist die Zeit für die Gutachten in der Regel länger und es wird genauer hingesehen.
+Häufig entstehen Journal-Artikel aus Konferenzartikeln und sind ausführlichere Versionen.
+Manchmal wird aber auch ohne eine Konferenz-Version direkt in einem Journal eingereicht.
+
+Für die Bibliographie werden viele ähnliche Einträge wie beim Konferenzartikel verwendet,
+allerdings ist der Typ hier \verb|Article|.
+
+\begin{verbatim}
+@Article(leuschel2008prob,
+ Author = {Leuschel, Michael and Butler, Michael},
+ Title = {{ProB}: An Automated Analysis Toolset for the {B} Method},
+ Year = 2008,
+ Month = mar,
+ Journal = {International Journal on Software Tools for Technology Transfer},
+ Volume = 10,
+ Pages = {185--203},
+ Number = 2
+)
+\end{verbatim}
+
+\paragraph{Title, Author, Pages, Year.} Diese Einträge sollten wieder selbsterklärend sein.
+\paragraph{Journal.} Die Artikel werden in einem Journal veröffentlicht, das einen Namen hat.
+Hier gibt es in der Regel auch etablierte Abkürzungen (wie etwa \enquote{STTT} für
+\enquote{International Journal on Software Tools for Technology Transfer}).
+Das Format sollte hier auch einheitlich sein.
+\paragraph{Volume und Number.} Journal-Artikel werden meist gesammelt periodisch veröffentlicht.
+In der Regel wird die Volume-Zahl pro Jahr erhöht;
+innerhalb einer Volume gibt es dann häufig mehrere Veröffentlichungen, die mit der \enquote{issue number} hochgezählt werden.
+Wird das Journal also vierteljährlich veröffentlicht, geht der Number-Eintrag bis 4 hoch.
+Manchmal gibt es auch \enquote{special issues} zu einem bestimmten Thema oder als Sammlung an Artikeln,
+die aus einer bestimmten Konferenz hervorgingen.
+
+\subsection{Monographien}
+
+Einige Bücher werden von vollständig von wenigen Autoren geschrieben.
+Hier werden insgesamt recht wenig Informationen benötigt,
+wie etwa in dem Beispiel hier:
+
+\begin{verbatim}
+@Book(abrial1996b,
+ Author = {Abrial, Jean-Raymond},
+ Title = {The {B}-Book: Assigning Programs to Meanings},
+ Year = 1996,
+ Publisher = {Cambridge University Press},
+ Address = {New York, NY, USA}
+)
+\end{verbatim}
+
+Leicht andere Arten der Monographien sind Abschlussarbeiten.
+Hier haben Master- und Doktorarbeiten eigene Typen mit selbsterklärenden Schlüsseln.
+Falls Sie eine Bachelorarbeit zitieren möchten, können Sie auch den Typen \verb|MastersThesis| verwenden.
+
+\begin{verbatim}
+@MastersThesis(eulynx_ma,
+ Author = {Abdul Rasheeq},
+ Title = {{An Approach To Improve SysML Railway Specification Using UML-B And Event-B}},
+ School = {Frankfurt University of Applied Sciences},
+ Year = 2019
+)
+\end{verbatim}
+
+\begin{verbatim}
+@PhDThesis(nummenmaa2013executable,
+ Author = {Nummenmaa, Timo},
+ Title = {{Executable formal specifications in game development: Design, validation and evolution}},
+ School = {University of Tampere},
+ Year = 2013
+)
+\end{verbatim}
diff --git a/contents.tex b/contents.tex
index a49efbfc384888e1be36391923d2fb306e841463..6ba7dfd05e0600df291ce5e47c319bafbcd402df 100644
--- a/contents.tex
+++ b/contents.tex
@@ -62,6 +62,7 @@ wie z.B. die B Methode~\cite{abrial1996b,abrial2010modeling}
oder \textsc{ProB}~\cite{leuschel2003prob,leuschel2008prob}.
Beachten Sie den Artikel ``Common Errors in Bibliographies'' von John Owens.%
\footnote{\url{https://www.ece.ucdavis.edu/~jowens/biberrors.html}}
+Zusätzliche, ausführlichere Informationen finden Sie auch in \cref{app:sec:bib}.
\subsection{Referenzen platzieren}
diff --git a/references.bib b/references.bib
index b2f15c2a5400b387d48360d5583d36f3fa6b9b7f..890476444f3539acad5ee1918672dc3946dd3e45 100644
--- a/references.bib
+++ b/references.bib
@@ -41,6 +41,7 @@
Year = 2003,
Month = sep,
Booktitle = {{FME} 2003: Formal Methods},
+ Series = {LNCS},
Volume = 2805,
Pages = {855--874},
Publisher = {Springer},
diff --git a/thesis.tex b/thesis.tex
index afd477b2cfa0c300ec9b486659e33a296fd3f37d..367fccc1fb20cea161d4367a74ed29c28e64fdbd 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -149,8 +149,8 @@
%% Dieser Part kann auskommentiert werden, sollte kein Anhang nötig sein.
%% Der \appendix-Befehl leitet hierbei den Anhang ein.
-% \appendix
-% \input{appendix.tex}
+ \appendix
+ \input{appendix.tex}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% (Ende) Der Inhalt der Arbeit %%