diff --git a/references.bib b/references.bib
index 173f73854bce2320f04b5a1981587261566abfe4..833065e6295ee35716ec3a1813db93d9a950ccdb 100644
--- a/references.bib
+++ b/references.bib
@@ -37,7 +37,7 @@
 
 @InProceedings(leuschel2003prob,
   Author	= {Leuschel, Michael and Butler, Michael},
-  Title		= {{ProB}},
+  Title		= {{ProB}: A Model Checker for {B}},
   Year		= 2003,
   Month		= sep,
   Booktitle	= {{FME} 2003: Formal Methods},