diff --git a/gui/README.txt b/gui/README.txt
index 1f83df9..68cc720 100644
--- a/gui/README.txt
+++ b/gui/README.txt
@@ -32,14 +32,4 @@ the base directory.  Many other protocol input files can be found in the
 'Protocols' directory.
 
 
-3. Citing Scyther
-===========================
-
-@phdthesis{cremers06,
-  Author    = "Cas Cremers",
-  Title     = "Scyther - Semantics and Verification of Security Protocols",
-  school    = "Eindhoven University of Technology",
-  publisher = "University Press Eindhoven",
-  year      = "2006",
-}