--- a/LMCS-Paper/document/root.bib	Fri Sep 16 11:21:14 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Fri Sep 16 11:24:53 2011 +0200
@@ -1,4 +1,12 @@
-
+@Article{ Urban08,
+	author = "C. Urban",
+	title = "{N}ominal {T}echniques in {I}sabelle/{HOL}",
+	journal = "Journal of Automated Reasoning",
+	volume = "40",
+        number = "4",
+        pages = "327--356",
+	year = "2008"
+}
 
 @PhdThesis{Krauss09,
   author = 	 {A.~Krauss},