1.1 --- a/doc-src/TutorialI/CTL/document/CTL.tex	Wed Oct 11 13:33:38 2000 +0200
     1.2 +++ b/doc-src/TutorialI/CTL/document/CTL.tex	Wed Oct 11 13:39:52 2000 +0200
     1.3 @@ -291,7 +291,7 @@
     1.4  %{text[display]"| EU formula formula    E[_ U _]"}
     1.5  %which enables you to read and write {text"E[f U g]"} instead of {term"EU f g"}.
     1.6  \end{exercise}
     1.7 -For more CTL exercises see, for example \cite{Huth-Ryan-book,Clarke-as-well?}.
     1.8 +For more CTL exercises see, for example \cite{Huth-Ryan-book}.
     1.9  \bigskip
    1.10  
    1.11  Let us close this section with a few words about the executability of our model checkers.