1.1 --- a/paper/src/paper.tex	Sat May 28 00:48:18 2011 +0200
     1.2 +++ b/paper/src/paper.tex	Sat May 28 01:43:28 2011 +0200
     1.3 @@ -71,12 +71,12 @@
     1.4  Automata are good.
     1.5  \section{Model Checking}
     1.6  \begin{thebibliography}{99}
     1.7 -\bibitem{ref:ltl&büchi} Madhavan Mukund: {\em Linear-Time Temporal Logic and B\"uchi Automata}.
     1.8 +\bibitem{ref:ltl&büchi} Madhavan Mukund. {\em Linear-Time Temporal Logic and B\"uchi Automata}.
     1.9  Winter School on Logic and Computer Science, Indian Statistical Institute, Calcutta, 1997.
    1.10  
    1.11  \bibitem{ref:handbook} 
    1.12 -Patrick Blackburn, Frank Wolter and Johan Van Benthem: 
    1.13 +Patrick Blackburn, Frank Wolter and Johan Van Benthem. 
    1.14  {\em Handbook of Modal Logic (Studies in Logic and Practical Reasoning)}.
    1.15 -Elsevier, Amsterdam, 3rd Edition, 2007.
    1.16 +3rd Edition, Elsevier, Amsterdam, 2007.
    1.17  \end{thebibliography}
    1.18  \end{document}