diff -r 3b89de6150ed -r 9f55d7927e5b Paper/document/root.bib
--- a/Paper/document/root.bib	Thu Apr 01 18:45:50 2010 +0200
+++ b/Paper/document/root.bib	Fri Apr 02 03:23:25 2010 +0200
@@ -1,3 +1,13 @@
+@InProceedings{ UrbanTasson05,
+	author = "C. Urban and C. Tasson",
+	title = "{N}ominal {T}echniques in {I}sabelle/{HOL}",
+	booktitle = "Proc.~of the 20th CADE Conference",
+	year = 2005,
+	series = "LNCS",
+	pages = "38--53",
+	volume = 3632
+}
+
 @InProceedings{ UrbanBerghofer06,
 	author = "C. Urban and S. Berghofer",
 	title = "{A} {R}ecursion {C}ombinator for {N}ominal {D}atatypes {I}mplemented in {I}sabelle/{HOL}",